Fixed publicservers identifier filter

2016-12-02 09:10:51 +02:00 · 2016-12-02 09:10:51 +02:00 · 080141e7d0
parent b55bd54b29
commit 080141e7d0
2 changed files with 2 additions and 2 deletions
--- a/js/main.js
+++ b/js/main.js
@ -1110,7 +1110,7 @@ PublicServers.prototype.search = function(start, clear) {
    				}}
    			],
    			"must_not": [
-    				{"match": { "identifier": this.filtered }}
+    				{"terms": { "identifier": this.filtered }}
    			]
    		}
    	}
--- a/js/main.min.js
+++ b/js/main.min.js