Changeset 70 in josm

Timestamp:

2006-03-25T00:30:34+01:00 (18 years ago)

Author:

imi

Message:

yet another fix in the search engine ("" matches)

File:

• src/org/openstreetmap/josm/tools/SearchCompiler.java (modified) (1 diff)

src/org/openstreetmap/josm/tools/SearchCompiler.java

@@ -137 +137 @@
                                 return "-";
                         case '"':
-                                s = new StringBuilder("\"");
+                                s = new StringBuilder(" ");
                                 for (int nc = search.read(); nc != -1 && nc != '"'; nc = search.read())
                                         s.append((char)nc);
                                 int nc = search.read();
-                                if ((char)nc == ':')
+                                if (nc != -1 && (char)nc == ':')
                                         return ":"+s.toString();
-                                search.unread(nc);
+                                if (nc != -1)
+                                        search.unread(nc);
                                 return s.toString();
                         default: