added hint to development/commit rss feed

htroot/ConfigUpdate_p.html

@@ -21,7 +21,7 @@
       <dl>
       <dt>Current installed Release</dt>
       <dd>#[versionpp]#</dd>
-      <dt><br />Available Releases (<a href="https://gitorious.org/yacy/rc1/commits/master">changelog</a>)</dt>
+      <dt><br />Available Releases (<a href="https://gitorious.org/yacy/rc1/commits/master">changelog</a> and <a href="https://gitorious.org/yacy/rc1/commits/master/feed.atom"><img width="16" height="16" src="/env/grafics/rss.png"> RSS feed</a>)</dt>
       <dd><form action="ConfigUpdate_p.html" method="get" accept-charset="UTF-8"><p>
         &nbsp;<select name="releasedownload">
         #{availreleases}#

source/net/yacy/search/Switchboard.java

@@ -59,7 +59,6 @@ import java.util.ArrayList;
 import java.util.Collection;
 import java.util.Date;
 import java.util.HashMap;
-import java.util.HashSet;
 import java.util.Iterator;
 import java.util.LinkedHashSet;
 import java.util.List;
@@ -2303,6 +2302,7 @@ public final class Switchboard extends serverSwitch {
                     }
                 }
                 if (this.crawler.allCrawlsFinished(this.crawlQueues)) {
+                    postprocessingRunning = true;
                     // flush caches
                     Domains.clear();
                     this.crawlQueues.noticeURL.clear();