bugfix to latest commit

source/net/yacy/http/servlets/YaCyDefaultServlet.java

@@ -907,13 +907,14 @@ public class YaCyDefaultServlet extends HttpServlet  {
                 // add navigation keys to enable or disable menu items
                 templatePatterns.put("navigation-p2p", sb.getConfigBool(SwitchboardConstants.DHT_ENABLED, true) || !sb.isRobinsonMode() ? 1 : 0);
                 String submitted = sb.getConfig("server.servlets.submitted", "");
-                boolean crawler_enabled = submitted.contains("Crawler_p");
+                boolean crawler_enabled =
+                        submitted.contains("Crawler_p") ||
+                        submitted.contains("ConfigBasic") ||
+                        submitted.contains("Load_RSS_p");
                 boolean advanced_enabled =
-                            crawler_enabled ||
-                            submitted.contains("ConfigBasic") ||
-                            submitted.contains("Load_RSS_p") ||
-                            submitted.contains("IndexImportMediawiki_p") ||
-                            submitted.contains("CrawlStart");
+                        crawler_enabled ||
+                        submitted.contains("IndexImportMediawiki_p") ||
+                        submitted.contains("CrawlStart");
                 templatePatterns.put("navigation-crawlmonitor", crawler_enabled);
                 templatePatterns.put("navigation-crawlmonitor_authorized", authorized ? 1 : 0);
                 templatePatterns.put("navigation-advanced", advanced_enabled);