*) Bugfix for different behavior of indexDistributeWhileCrawling to other checkboxes on IndexControl_p.html

See: http://www.yacy-forum.de/viewtopic.php?t=2849

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

htroot/IndexControl_p.java

@@ -123,7 +123,7 @@ public class IndexControl_p {
                 switchboard.setConfig("allowDistributeIndex", "false");
             }
 
-            if (post.containsKey("indexDistributeWhileCrawling")) {
+            if (post.get("indexDistributeWhileCrawling","").equals("on")) {
                 switchboard.setConfig("allowDistributeIndexWhileCrawling", "true");
             } else {
                 switchboard.setConfig("allowDistributeIndexWhileCrawling", "false");