Changeset 19139 in josm for trunk/scripts
- Timestamp:
- 2024-07-12T13:36:39+02:00 (7 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/scripts/SyncEditorLayerIndex.java
r19137 r19139 283 283 if (outputStream != null) { 284 284 try { 285 outputStream.write(s + System. getProperty("line.separator"));285 outputStream.write(s + System.lineSeparator()); 286 286 } catch (IOException e) { 287 287 throw new JosmRuntimeException(e); … … 386 386 myprintln("*** Loaded "+eliEntries.size()+" entries (ELI). ***"); 387 387 } 388 388 389 void loadELIUsers() throws IOException { 389 390 try (JsonReader jr = Json.createReader(Files.newBufferedReader(Paths.get(idInputFile), UTF_8))) { … … 635 636 for (String l : le) { 636 637 String e = ""; 637 if(idUrls.get(l) != null && rapidUrls.get(l) != null) 638 if (idUrls.get(l) != null && rapidUrls.get(l) != null) 638 639 e = " **iD+Rapid**"; 639 else if(idUrls.get(l) != null) 640 else if (idUrls.get(l) != null) 640 641 e = " **iD**"; 641 else if(rapidUrls.get(l) != null) 642 else if (rapidUrls.get(l) != null) 642 643 e = " **Rapid**"; 643 644 myprintln("- " + getDescription(eliUrls.get(l)) + e); … … 1372 1373 return p.getString("url"); 1373 1374 else 1374 return ((JsonObject)e).getString("template"); 1375 return ((JsonObject) e).getString("template"); 1375 1376 } 1376 1377
Note:
See TracChangeset
for help on using the changeset viewer.