diff --git a/source/de/anomic/plasma/plasmaCrawlBalancer.java b/source/de/anomic/plasma/plasmaCrawlBalancer.java index 095dfee55..1a707d54a 100644 --- a/source/de/anomic/plasma/plasmaCrawlBalancer.java +++ b/source/de/anomic/plasma/plasmaCrawlBalancer.java @@ -91,8 +91,10 @@ public class plasmaCrawlBalancer { private int sizeDomainStacks() { int sum = 0; - Iterator i = domainStacks.values().iterator(); - while (i.hasNext()) sum += ((ArrayList) i.next()).size(); + if (domainStacks != null) synchronized (domainStacks) { + Iterator i = domainStacks.values().iterator(); + while (i.hasNext()) sum += ((ArrayList) i.next()).size(); + } return sum; }