diff --git a/source/net/yacy/http/servlets/YaCyDefaultServlet.java b/source/net/yacy/http/servlets/YaCyDefaultServlet.java index e9c41ac2b..a6fbfb0ad 100644 --- a/source/net/yacy/http/servlets/YaCyDefaultServlet.java +++ b/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);