v1.3.1: made rankings dates language-neutral

This commit is contained in:
Evan Debenham
2022-07-07 16:58:02 -04:00
parent 11c0edc9ae
commit d98e360841
2 changed files with 3 additions and 2 deletions

View File

@@ -86,6 +86,7 @@ import java.text.DateFormat;
import java.util.ArrayList;
import java.util.Date;
import java.util.HashSet;
import java.util.Locale;
import java.util.TimeZone;
public class Dungeon {
@@ -197,7 +198,7 @@ public class Dungeon {
if (daily) {
seed = SPDSettings.lastDaily();
DateFormat format = DateFormat.getDateInstance();
DateFormat format = DateFormat.getDateInstance(DateFormat.SHORT, Locale.ROOT);
format.setTimeZone(TimeZone.getTimeZone("UTC"));
customSeedText = format.format(new Date(seed));
} else if (!SPDSettings.customSeed().isEmpty()){

View File

@@ -77,7 +77,7 @@ public class WndDailies extends Window {
top = (int) score.bottom() + 6;
NumberFormat num = NumberFormat.getInstance(Locale.US);
DateFormat format = DateFormat.getDateInstance();
DateFormat format = DateFormat.getDateInstance(DateFormat.SHORT, Locale.ROOT);
format.setTimeZone(TimeZone.getTimeZone("UTC"));
Date date = new Date();