1019 |
found_zone = true; |
found_zone = true; |
1020 |
saw_timezone = true; |
saw_timezone = true; |
1021 |
TimeZone tz = TimeZone.getTimeZone (strings[0]); |
TimeZone tz = TimeZone.getTimeZone (strings[0]); |
1022 |
calendar.set (Calendar.DST_OFFSET, tz.getDSTSavings()); |
// Check if it's a DST zone or ordinary |
1023 |
|
if(k == 3 || k == 4) |
1024 |
|
calendar.set (Calendar.DST_OFFSET, tz.getDSTSavings()); |
1025 |
|
else |
1026 |
|
calendar.set (Calendar.DST_OFFSET, 0); |
1027 |
offset = tz.getRawOffset (); |
offset = tz.getRawOffset (); |
1028 |
pos.setIndex(index + strings[k].length()); |
pos.setIndex(index + strings[k].length()); |
1029 |
break; |
break; |