Changeset 12405 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2017-06-13T21:26:46+02:00 (7 years ago)

Author:

Don-vip

Message:

fix #14938 - robustness to system date changing during startup

File:

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

trunk/src/org/openstreetmap/josm/gui/SplashScreen.java

@@ -161 +161 @@
                 throw new IllegalStateException("This task has already been finished: " + name);
             }
-            duration = tr(" ({0})", Utils.getDurationString(System.currentTimeMillis() - start));
+            long time = System.currentTimeMillis() - start;
+            if (time >= 0) {
+                duration = tr(" ({0})", Utils.getDurationString(time));
+            }
         }