use int instead of time_t to print timezone info
authorVladimir Petko <vladimir.petko@canonical.com>
Thu, 17 Oct 2024 20:50:46 +0000 (22:50 +0200)
committerMoritz Mühlenhoff <jmm@debian.org>
Thu, 17 Oct 2024 20:50:46 +0000 (22:50 +0200)
Bug: https://bugs.openjdk.org/browse/JDK-8334502
Last-Update: 2024-06-19

printf() call uses %02d format specifier that requires an int parameter.

Gbp-Pq: Name jdk-8334502-proposed.patch

src/hotspot/share/runtime/os.cpp

index e786b057262876208f60643c457c15a0d819c64b..722b79cdd84b52350673c65930a4dfa917f5c0c7 100644 (file)
@@ -192,8 +192,8 @@ char* os::iso8601_time(jlong milliseconds_since_19700101, char* buffer, size_t b
     abs_local_to_UTC = -(abs_local_to_UTC);
   }
   // Convert time zone offset seconds to hours and minutes.
-  const time_t zone_hours = (abs_local_to_UTC / seconds_per_hour);
-  const time_t zone_min =
+  const int zone_hours = (abs_local_to_UTC / seconds_per_hour);
+  const int zone_min =
     ((abs_local_to_UTC % seconds_per_hour) / seconds_per_minute);
 
   // Print an ISO 8601 date and time stamp into the buffer