|
 |
05dac3 |
commit b4caafe16f14983e303b7f1fdf3090e5c513ebd8
|
|
|
05dac3 |
Author: Andrew John Hughes <andrew@openjdk.org>
|
|
|
05dac3 |
Date: Thu Apr 13 15:37:20 2023 +0000
|
|
|
05dac3 |
|
|
|
05dac3 |
8274864: Remove Amman/Cairo hacks in ZoneInfoFile
|
|
|
05dac3 |
|
|
|
05dac3 |
Backport-of: ec199072c5867624d66840238cc8828e16ae8da7
|
|
|
05dac3 |
|
|
|
05dac3 |
diff --git a/src/java.base/share/classes/sun/util/calendar/ZoneInfoFile.java b/src/java.base/share/classes/sun/util/calendar/ZoneInfoFile.java
|
|
|
05dac3 |
index 1dc82561f2..a51490767d 100644
|
|
|
05dac3 |
--- a/src/java.base/share/classes/sun/util/calendar/ZoneInfoFile.java
|
|
|
05dac3 |
+++ b/src/java.base/share/classes/sun/util/calendar/ZoneInfoFile.java
|
|
|
05dac3 |
@@ -607,34 +607,6 @@ public final class ZoneInfoFile {
|
|
|
05dac3 |
params[8] = endRule.secondOfDay * 1000;
|
|
|
05dac3 |
params[9] = toSTZTime[endRule.timeDefinition];
|
|
|
05dac3 |
dstSavings = (startRule.offsetAfter - startRule.offsetBefore) * 1000;
|
|
|
05dac3 |
-
|
|
|
05dac3 |
- // Note: known mismatching -> Asia/Amman
|
|
|
05dac3 |
- // ZoneInfo : startDayOfWeek=5 <= Thursday
|
|
|
05dac3 |
- // startTime=86400000 <= 24 hours
|
|
|
05dac3 |
- // This: startDayOfWeek=6
|
|
|
05dac3 |
- // startTime=0
|
|
|
05dac3 |
- // Similar workaround needs to be applied to Africa/Cairo and
|
|
|
05dac3 |
- // its endDayOfWeek and endTime
|
|
|
05dac3 |
- // Below is the workarounds, it probably slows down everyone a little
|
|
|
05dac3 |
- if (params[2] == 6 && params[3] == 0 &&
|
|
|
05dac3 |
- (zoneId.equals("Asia/Amman"))) {
|
|
|
05dac3 |
- params[2] = 5;
|
|
|
05dac3 |
- params[3] = 86400000;
|
|
|
05dac3 |
- }
|
|
|
05dac3 |
- // Additional check for startDayOfWeek=6 and starTime=86400000
|
|
|
05dac3 |
- // is needed for Asia/Amman;
|
|
|
05dac3 |
- if (params[2] == 7 && params[3] == 0 &&
|
|
|
05dac3 |
- (zoneId.equals("Asia/Amman"))) {
|
|
|
05dac3 |
- params[2] = 6; // Friday
|
|
|
05dac3 |
- params[3] = 86400000; // 24h
|
|
|
05dac3 |
- }
|
|
|
05dac3 |
- //endDayOfWeek and endTime workaround
|
|
|
05dac3 |
- if (params[7] == 6 && params[8] == 0 &&
|
|
|
05dac3 |
- (zoneId.equals("Africa/Cairo"))) {
|
|
|
05dac3 |
- params[7] = 5;
|
|
|
05dac3 |
- params[8] = 86400000;
|
|
|
05dac3 |
- }
|
|
|
05dac3 |
-
|
|
|
05dac3 |
} else if (nTrans > 0) { // only do this if there is something in table already
|
|
|
05dac3 |
if (lastyear < LASTYEAR) {
|
|
|
05dac3 |
// ZoneInfo has an ending entry for 2037
|
|
|
05dac3 |
@@ -907,7 +879,6 @@ public final class ZoneInfoFile {
|
|
|
05dac3 |
this.dow = dowByte == 0 ? -1 : dowByte;
|
|
|
05dac3 |
this.secondOfDay = timeByte == 31 ? in.readInt() : timeByte * 3600;
|
|
|
05dac3 |
this.timeDefinition = (data & (3 << 12)) >>> 12;
|
|
|
05dac3 |
-
|
|
|
05dac3 |
this.standardOffset = stdByte == 255 ? in.readInt() : (stdByte - 128) * 900;
|
|
|
05dac3 |
this.offsetBefore = beforeByte == 3 ? in.readInt() : standardOffset + beforeByte * 1800;
|
|
|
05dac3 |
this.offsetAfter = afterByte == 3 ? in.readInt() : standardOffset + afterByte * 1800;
|