*) next bugfix for threadpool problem

git-svn-id: https://svn.berlios.de/svnroot/repos/yacy/trunk@1474 6c8d7289-2bf4-0310-a012-ef5d649a1542

source/de/anomic/plasma/plasmaCrawlStacker.java

@@ -644,12 +644,14 @@ public final class plasmaCrawlStacker {
         public void destroyObject(Object obj) {
             if (obj instanceof Worker) {
                 Worker theWorker = (Worker) obj;
+                synchronized(theWorker) {
                     theWorker.setName("stackCrawlThread_destroyed");
                     theWorker.destroyed = true;
                     theWorker.setStopped(true);
                     theWorker.interrupt();
                 }
             }
+        }
         
         /**
          * @see org.apache.commons.pool.PoolableObjectFactory#validateObject(java.lang.Object)