changeset 2175:ec1e465afd80 default tip

better time zone fns
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 20 Apr 2026 12:36:44 -0600
parents 702075b1f9de
children
files src/luan/modules/Time.luan
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/src/luan/modules/Time.luan	Mon Apr 20 12:13:04 2026 -0600
+++ b/src/luan/modules/Time.luan	Mon Apr 20 12:36:44 2026 -0600
@@ -86,13 +86,13 @@
 	return fmt.parse(source).getTime()
 end
 
-function Time.get_time_zone_name()
-	return TimeZone.getDefault().getDisplayName()
+function Time.get_default_time_zone()
+	return TimeZone.getDefault().getID()
 end
 
-function Time.get_time_zone_offset(date)
+function Time.get_time_zone_offset(time_zone,date)
 	date = date or System.currentTimeMillis()
-	return TimeZone.getDefault().getOffset(date)
+	return TimeZone.getTimeZone(time_zone).getOffset(date)
 end