Changeset 13768 in josm

Timestamp:

2018-05-15T02:37:56+02:00 (7 years ago)

Author:

Don-vip

Message:

determine platform

File:

• trunk/scripts/SyncEditorLayerIndex.groovy (modified) (2 diffs)

trunk/scripts/SyncEditorLayerIndex.groovy

@@ -23 +23 @@
 import javax.json.JsonReader
 
+import org.openstreetmap.josm.Main
 import org.openstreetmap.josm.data.Preferences
 import org.openstreetmap.josm.data.imagery.ImageryInfo
@@ -58 +59 @@
         Locale.setDefault(Locale.ROOT);
         parse_command_line_arguments(args)
+        Main.determinePlatformHook()
         def pref = new Preferences(JosmBaseDirectories.getInstance())
         pref.init(false)