Fix up linting in search.js

This commit is contained in:
Nick O'Leary
2020-06-16 15:08:30 +01:00
parent f78bbdc29f
commit 2378e0d961

View File

@@ -83,7 +83,7 @@ RED.search = (function() {
// flagName:XYZ
var regEx = new RegExp("(?:^| )"+flagName+":([^ ]+)(?: |$)");
var m
while(m = regEx.exec(val)) {
while(!!(m = regEx.exec(val))) {
val = val.replace(regEx," ").trim();
flags[flagName] = flags[flagName] || [];
flags[flagName].push(m[1]);