Changeset 17726 in josm

Timestamp:

2021-04-09T19:07:31+02:00 (4 years ago)

Author:

simon04

Message:

see #14176 - Migrate AnimationExtensionManager to LocalDate (ZoneId)

​https://errorprone.info/bugpattern/JavaTimeDefaultTimeZone

File:

• trunk/src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java

@@ -3 +3 @@
 
 import java.time.LocalDate;
+import java.time.ZoneId;
 
 import org.openstreetmap.josm.data.preferences.BooleanProperty;
@@ -43 +44 @@
 
     private static boolean isChristmas() {
-        return LocalDate.now().getDayOfYear() > 350;
+        return LocalDate.now(ZoneId.systemDefault()).getDayOfYear() > 350;
     }
 }