[freenet-cvs] r15157 - trunk/plugins/XMLSpider

[t...@freenetproject.org]

Author: toad
Date: 2007-09-14 14:05:31 +0000 (Fri, 14 Sep 2007)
New Revision: 15157

Modified:
   trunk/plugins/XMLSpider/XMLSpider.java
Log:
XMLSpider 12: more sync fixes

Modified: trunk/plugins/XMLSpider/XMLSpider.java
===================================================================
--- trunk/plugins/XMLSpider/XMLSpider.java      2007-09-14 14:03:08 UTC (rev 
15156)
+++ trunk/plugins/XMLSpider/XMLSpider.java      2007-09-14 14:05:31 UTC (rev 
15157)
@@ -138,7 +138,7 @@
         */
        public Set allowedMIMETypes;
        private static final int MAX_ENTRIES = 200;
-       private static int version = 11;
+       private static int version = 12;
        private static final String pluginName = "XML spider "+version;
        /**
         * Gives the allowed fraction of total time spent on generating indices 
with
@@ -946,7 +946,7 @@
 /*
  * List the visited, queued, failed and running fetches on the web interface
  */
-       private void appendList(String listname, StringBuffer out, String 
stylesheet)
+       private synchronized void appendList(String listname, StringBuffer out, 
String stylesheet)
        {
                Iterator it = (runningFetchesByURI.keySet()).iterator();
                if(listname.equals("running"))
@@ -979,7 +979,7 @@
                        visited = new HashSet(visitedURIs);
                        failed = new HashSet(failedURIs);
                        queued = new ArrayList(queuedURIList);
-                       runningFetches = runningFetchesByURI.keySet();
+                       runningFetches = new 
HashSet(runningFetchesByURI.keySet());
                }
                out.append("<p><h3>Running Fetches</h3></p>");
                Iterator it=queued.iterator();