aboutsummaryrefslogtreecommitdiff
path: root/java
diff options
context:
space:
mode:
authorGreg Lewis <glewis@FreeBSD.org>2006-11-06 19:51:16 +0000
committerGreg Lewis <glewis@FreeBSD.org>2006-11-06 19:51:16 +0000
commitf970203bc105ed62203a78bb01b2aacf7ec677ae (patch)
tree903e09a3387dc395919ce9af93f4c60b4b2e3d06 /java
parent9ce460d1051322a6cc254af97e5f12807e88986f (diff)
downloadports-f970203bc105ed62203a78bb01b2aacf7ec677ae.tar.gz
ports-f970203bc105ed62203a78bb01b2aacf7ec677ae.zip
Notes
Diffstat (limited to 'java')
-rw-r--r--java/jdk15/files/patch-j2se::util::TimeZone.java21
-rw-r--r--java/jdk16/files/patch-j2se::util::TimeZone.java21
2 files changed, 42 insertions, 0 deletions
diff --git a/java/jdk15/files/patch-j2se::util::TimeZone.java b/java/jdk15/files/patch-j2se::util::TimeZone.java
new file mode 100644
index 000000000000..834897b78058
--- /dev/null
+++ b/java/jdk15/files/patch-j2se::util::TimeZone.java
@@ -0,0 +1,21 @@
+$FreeBSD$
+
+--- ../../j2se/src/share/classes/java/util/TimeZone.java 8 Nov 2004 22:27:20 -0000 1.1.1.1
++++ ../../j2se/src/share/classes/java/util/TimeZone.java 5 Nov 2006 17:43:12 -0000
+@@ -748,15 +748,13 @@
+ }
+ int gmtOffset = (hours * 60 + num) * 60 * 1000;
+
++ zi = ZoneInfoFile.getCustomTimeZone(id, negative ? -gmtOffset : gmtOffset);
+ if (gmtOffset == 0) {
+- zi = ZoneInfoFile.getZoneInfo(GMT_ID);
+ if (negative) {
+ zi.setID("GMT-00:00");
+ } else {
+ zi.setID("GMT+00:00");
+ }
+- } else {
+- zi = ZoneInfoFile.getCustomTimeZone(id, negative ? -gmtOffset : gmtOffset);
+ }
+ return zi;
+ }
diff --git a/java/jdk16/files/patch-j2se::util::TimeZone.java b/java/jdk16/files/patch-j2se::util::TimeZone.java
new file mode 100644
index 000000000000..834897b78058
--- /dev/null
+++ b/java/jdk16/files/patch-j2se::util::TimeZone.java
@@ -0,0 +1,21 @@
+$FreeBSD$
+
+--- ../../j2se/src/share/classes/java/util/TimeZone.java 8 Nov 2004 22:27:20 -0000 1.1.1.1
++++ ../../j2se/src/share/classes/java/util/TimeZone.java 5 Nov 2006 17:43:12 -0000
+@@ -748,15 +748,13 @@
+ }
+ int gmtOffset = (hours * 60 + num) * 60 * 1000;
+
++ zi = ZoneInfoFile.getCustomTimeZone(id, negative ? -gmtOffset : gmtOffset);
+ if (gmtOffset == 0) {
+- zi = ZoneInfoFile.getZoneInfo(GMT_ID);
+ if (negative) {
+ zi.setID("GMT-00:00");
+ } else {
+ zi.setID("GMT+00:00");
+ }
+- } else {
+- zi = ZoneInfoFile.getCustomTimeZone(id, negative ? -gmtOffset : gmtOffset);
+ }
+ return zi;
+ }