Changeset 1149 in josm

Timestamp:

2008-12-21T13:54:46+01:00 (16 years ago)

Author:

stoecker

Message:

fix #1805, fix by Russ Nelson

File:

• trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java

@@ -54 +54 @@
                         case ')':
                                 return ")";
+                        case '|':
+                                return "|";
                         case '"':
                                 s = new StringBuilder(" ");
@@ -70 +72 @@
                                 }
                                 c = (char)next;
-                                if (c == ' ' || c == '\t' || c == '"' || c == ':' || c == '(' || c == ')') {
+                                if (c == ' ' || c == '\t' || c == '"' || c == ':' || c == '(' || c == ')' || c == '|') {
                                         search.unread(next);
                                         if (s.toString().equals("OR"))