From 8f6587e87b729c60e84bc9bacec417cb8520b3d4 Mon Sep 17 00:00:00 2001
From: Michael Peter Christen <mc@yacy.net>
Date: Thu, 30 Oct 2014 12:41:04 +0100
Subject: [PATCH] fix for broken protocol navigation

---
 htroot/yacysearchtrailer.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/htroot/yacysearchtrailer.java b/htroot/yacysearchtrailer.java
index 8e1558a5f..4f9386088 100644
--- a/htroot/yacysearchtrailer.java
+++ b/htroot/yacysearchtrailer.java
@@ -265,7 +265,7 @@ public class yacysearchtrailer {
                 prop.put("nav-authors", 0); // this navigation is not useful
             }
         }
-        
+
         // collection navigators
         if (theSearch.collectionNavigator == null || theSearch.collectionNavigator.isEmpty()) {
             prop.put("nav-collections", 0);
@@ -349,7 +349,7 @@ public class yacysearchtrailer {
             i--;
             prop.put("nav-topics_element_" + i + "_nl", 0);
         }
-
+        
         // protocol navigators
         if (theSearch.protocolNavigator == null || theSearch.protocolNavigator.isEmpty()) {
             prop.put("nav-protocols", 0);
@@ -393,7 +393,7 @@ public class yacysearchtrailer {
                 i++;
             }
             theSearch.query.modifier.protocol = oldProtocolModifier;
-            if (oldProtocolModifier != null && oldProtocolModifier.length() > 0) theSearch.query.modifier.add(oldProtocolModifier);
+            if (oldProtocolModifier != null && oldProtocolModifier.length() > 0) theSearch.query.modifier.add(oldProtocolModifier.startsWith("/") ? oldProtocolModifier : "/" + oldProtocolModifier);
             theSearch.query.getQueryGoal().query_original = oldQuery;
             prop.put("nav-protocols_element", i);
             prop.put("nav-protocols_activate", neg > 0 || visible ? 1 : 0); // by default off