use int instead of time_t to print timezone info
authorVladimir Petko <vladimir.petko@canonical.com>
Thu, 17 Jul 2025 14:12:28 +0000 (16:12 +0200)
committerMatthias Klose <doko@ubuntu.com>
Thu, 17 Jul 2025 14:12:28 +0000 (16:12 +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 c8724cd06a3b28b409fe13f86ee01282cd0e5840..fdcb99f48b852fb3b54e7f281e2ccdb928495c21 100644 (file)
@@ -198,8 +198,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