Changeset 9238 in josm for trunk/src/org/openstreetmap/josm/Main.java

Timestamp:

2016-01-01T14:55:14+01:00 (8 years ago)

Author:

stoecker

Message:

see #8562 - restart JOSM in case we switched from IPv6 to IPv4 only, so we have no broken connection

File:

• trunk/src/org/openstreetmap/josm/Main.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/Main.java

@@ -1083 +1083 @@
             ImageProvider.shutdown(false);
             JCSCacheManager.shutdown();
-            geometry.remember("gui.geometry");
+            if (geometry != null) {
+                geometry.remember("gui.geometry");
+            }
             if (map != null) {
                 map.rememberToggleDialogWidth();