Skip to content

Commit cf3ca27

Browse files
committed
Fixed CI build issues
1 parent 87a88a1 commit cf3ca27

6 files changed

Lines changed: 42 additions & 17 deletions

File tree

Ports/CLDC11/src/java/time/format/DateTimeFormatter.java

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -214,7 +214,7 @@ private String formatPattern(TemporalAccessor temporal) {
214214
TimeZone original = TimeZone.getDefault();
215215
try {
216216
if (zone != null) {
217-
TimeZone.setDefault(zone.toTimeZone());
217+
TimeZone.setDefault(toTimeZone(zone));
218218
}
219219
return sdf.format(new Date(instant.toEpochMilli()));
220220
} finally {
@@ -230,7 +230,7 @@ private static ParsedPatternResult parsePattern(String text, String pattern, Zon
230230
TimeZone original = TimeZone.getDefault();
231231
try {
232232
if (defaultZone != null) {
233-
TimeZone.setDefault(defaultZone.toTimeZone());
233+
TimeZone.setDefault(toTimeZone(defaultZone));
234234
}
235235
SimpleDateFormat sdf = newFormat(pattern, defaultZone, locale);
236236
Date date = sdf.parse(text);
@@ -258,6 +258,14 @@ private static int parseInt(String text, int start, int end) {
258258
return Integer.parseInt(text.substring(start, end));
259259
}
260260

261+
private static TimeZone toTimeZone(ZoneId zone) {
262+
if (zone instanceof ZoneOffset) {
263+
ZoneOffset offset = (ZoneOffset) zone;
264+
return TimeZone.getTimeZone(offset.getId().equals("Z") ? "GMT" : "GMT" + offset.getId());
265+
}
266+
return TimeZone.getTimeZone(zone.getId());
267+
}
268+
261269
private static String pad(int value, int length) {
262270
String s = String.valueOf(Math.abs(value));
263271
StringBuffer out = new StringBuffer();

scripts/website/build.sh

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ set_cn1_user_token() {
4545
local project_dir="$1"
4646

4747
if [ -n "${CN1_USER}" ] && [ -n "${CN1_TOKEN}" ]; then
48-
if ! ./mvnw -q -U -pl javascript -am \
48+
if ! sh ./mvnw -q -U -pl javascript -am \
4949
cn1:set-user-token \
5050
-Dcodename1.platform=javascript \
5151
-Duser="${CN1_USER}" \
@@ -515,9 +515,9 @@ build_initializr_for_site() {
515515

516516
run_initializr_mvn() {
517517
if command -v xvfb-run >/dev/null 2>&1; then
518-
xvfb-run -a ./mvnw "$@"
518+
xvfb-run -a sh ./mvnw "$@"
519519
else
520-
./mvnw "$@"
520+
sh ./mvnw "$@"
521521
fi
522522
}
523523

@@ -574,9 +574,9 @@ build_playground_for_site() {
574574

575575
run_playground_mvn() {
576576
if command -v xvfb-run >/dev/null 2>&1; then
577-
xvfb-run -a ./mvnw "$@"
577+
xvfb-run -a sh ./mvnw "$@"
578578
else
579-
./mvnw "$@"
579+
sh ./mvnw "$@"
580580
fi
581581
}
582582

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
package com.codename1.impl.time;
2+
3+
import java.time.ZoneId;
4+
import java.time.ZoneOffset;
5+
import java.util.TimeZone;
6+
7+
public final class TimeZoneSupport {
8+
private TimeZoneSupport() {
9+
}
10+
11+
public static TimeZone toTimeZone(ZoneId zoneId) {
12+
if (zoneId instanceof ZoneOffset) {
13+
ZoneOffset offset = (ZoneOffset) zoneId;
14+
return TimeZone.getTimeZone(offset.getId().equals("Z") ? "GMT" : "GMT" + offset.getId());
15+
}
16+
return TimeZone.getTimeZone(zoneId.getId());
17+
}
18+
}

vm/JavaAPI/src/java/time/DateTimeSupport.java

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
package java.time;
22

3+
import com.codename1.impl.time.TimeZoneSupport;
34
import java.text.ParseException;
45
import java.text.SimpleDateFormat;
56
import java.util.Calendar;
@@ -181,7 +182,7 @@ public static LocalDateTime localDateTimeFromInstant(Instant instant, ZoneId zon
181182
}
182183

183184
public static ZoneOffset offsetFromInstant(Instant instant, ZoneId zone) {
184-
TimeZone tz = zone.toTimeZone();
185+
TimeZone tz = TimeZoneSupport.toTimeZone(zone);
185186
Calendar cal = newCalendar(TimeZone.getTimeZone("GMT"));
186187
cal.setTime(new Date(instant.toEpochMilli()));
187188
int offsetMillis = tz.getOffset(
@@ -206,7 +207,7 @@ public static String formatPattern(String pattern, TemporalCarrier carrier, Loca
206207
TimeZone original = TimeZone.getDefault();
207208
try {
208209
if (zone != null) {
209-
TimeZone.setDefault(zone.toTimeZone());
210+
TimeZone.setDefault(TimeZoneSupport.toTimeZone(zone));
210211
}
211212
return sdf.format(new Date(carrier.toInstant().toEpochMilli()));
212213
} finally {
@@ -218,7 +219,7 @@ public static ParsedPatternResult parsePattern(String text, String pattern, Zone
218219
TimeZone original = TimeZone.getDefault();
219220
try {
220221
if (defaultZone != null) {
221-
TimeZone.setDefault(defaultZone.toTimeZone());
222+
TimeZone.setDefault(TimeZoneSupport.toTimeZone(defaultZone));
222223
}
223224
SimpleDateFormat sdf = newFormat(pattern, defaultZone, locale);
224225
Date date = sdf.parse(text);

vm/JavaAPI/src/java/time/ZoneId.java

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
package java.time;
22

3+
import com.codename1.impl.time.TimeZoneSupport;
34
import java.util.TimeZone;
45

56
public class ZoneId {
@@ -37,11 +38,7 @@ public String getId() {
3738
}
3839

3940
TimeZone toTimeZone() {
40-
if (this instanceof ZoneOffset) {
41-
ZoneOffset offset = (ZoneOffset) this;
42-
return TimeZone.getTimeZone(offset.getId().equals("Z") ? "GMT" : "GMT" + offset.getId());
43-
}
44-
return TimeZone.getTimeZone(id);
41+
return TimeZoneSupport.toTimeZone(this);
4542
}
4643

4744
public boolean equals(Object obj) {

vm/JavaAPI/src/java/time/format/DateTimeFormatter.java

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
package java.time.format;
22

3+
import com.codename1.impl.time.TimeZoneSupport;
34
import java.text.ParseException;
45
import java.text.SimpleDateFormat;
56
import java.time.Instant;
@@ -214,7 +215,7 @@ private String formatPattern(TemporalAccessor temporal) {
214215
TimeZone original = TimeZone.getDefault();
215216
try {
216217
if (zone != null) {
217-
TimeZone.setDefault(zone.toTimeZone());
218+
TimeZone.setDefault(TimeZoneSupport.toTimeZone(zone));
218219
}
219220
return sdf.format(new Date(instant.toEpochMilli()));
220221
} finally {
@@ -230,7 +231,7 @@ private static ParsedPatternResult parsePattern(String text, String pattern, Zon
230231
TimeZone original = TimeZone.getDefault();
231232
try {
232233
if (defaultZone != null) {
233-
TimeZone.setDefault(defaultZone.toTimeZone());
234+
TimeZone.setDefault(TimeZoneSupport.toTimeZone(defaultZone));
234235
}
235236
SimpleDateFormat sdf = newFormat(pattern, defaultZone, locale);
236237
Date date = sdf.parse(text);

0 commit comments

Comments
 (0)