Changeset 6085 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2013-07-26T17:24:33+02:00 (11 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/plugins
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java
r6083 r6085 442 442 public boolean matches(String filter) { 443 443 if (filter == null) return true; 444 String words[]= filter.split("\\s+");444 String[] words = filter.split("\\s+"); 445 445 for (String word: words) { 446 446 if (matches(word, name) -
trunk/src/org/openstreetmap/josm/plugins/PluginListParser.java
r5923 r6085 85 85 } 86 86 addPluginInformation(ret, name, url, manifest.toString()); 87 String x[]= line.split(";");87 String[] x = line.split(";"); 88 88 if(x.length != 2) 89 89 throw new IOException(tr("Illegal entry in plugin list."));
Note:
See TracChangeset
for help on using the changeset viewer.