From 6c6056836dfab45e0b0745d0d4fc8c05fbfd2dd7 Mon Sep 17 00:00:00 2001
From: reger <reger18@arcor.de>
Date: Fri, 31 Jan 2014 23:03:01 +0100
Subject: [PATCH] fix vocabulary navigator checkbox selection (from last
 commit)

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

diff --git a/htroot/yacysearchtrailer.java b/htroot/yacysearchtrailer.java
index 674288d28..ffa436af3 100644
--- a/htroot/yacysearchtrailer.java
+++ b/htroot/yacysearchtrailer.java
@@ -86,7 +86,7 @@ public class yacysearchtrailer {
                     break;
                 }
                 nav = "inurl%3A" + name;
-                if (!theSearch.query.modifier.toString().contains(nav)) {
+                if (!theSearch.query.modifier.toString().contains("inurl:"+name)) {
                     pos++;
                     prop.put("nav-namespace_element_" + i + "_on", 1);
                     prop.put(fileType, "nav-namespace_element_" + i + "_modifier", nav);
@@ -380,7 +380,7 @@ public class yacysearchtrailer {
                         break;
                     }
                     nav = "%2Fvocabulary%2F" + navname + "%2F" + MultiProtocolURL.escape(Tagging.encodePrintname(name)).toString();
-                    if (!theSearch.query.modifier.toString().contains("/vocabulary/")) {
+                    if (!theSearch.query.modifier.toString().contains("/vocabulary/"+navname+"/"+name)) {
                         prop.put("nav-vocabulary_" + navvoccount + "_element_" + i + "_on", 1);
                         prop.put(fileType, "nav-vocabulary_" + navvoccount + "_element_" + i + "_modifier", nav);
                     } else {