From: Emmanuel Bourg Date: Sun, 22 Sep 2024 12:49:33 +0000 (+0200) Subject: Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC... X-Git-Tag: archive/raspbian/21.0.5_8ea-1+rpi1^2~22 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=bcce2f9680d58158a33c6585af150451e99c4c6d;p=openjdk-21.git Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified Forwarded: no Gbp-Pq: Name reproducible-properties-timestamp.diff --- diff --git a/src/java.base/share/classes/java/util/Properties.java b/src/java.base/share/classes/java/util/Properties.java index 8d38b9df9..680223d9b 100644 --- a/src/java.base/share/classes/java/util/Properties.java +++ b/src/java.base/share/classes/java/util/Properties.java @@ -41,6 +41,8 @@ import java.io.UnsupportedEncodingException; import java.nio.charset.Charset; import java.nio.charset.IllegalCharsetNameException; import java.nio.charset.UnsupportedCharsetException; +import java.security.AccessController; +import java.security.PrivilegedAction; import java.util.concurrent.ConcurrentHashMap; import java.util.function.BiConsumer; import java.util.function.BiFunction; @@ -955,7 +957,7 @@ public class Properties extends Hashtable { if (sysPropVal != null && !sysPropVal.isEmpty()) { writeComments(bw, sysPropVal); } else { - bw.write("#" + new Date()); + bw.write("#" + getFormattedTimestamp()); bw.newLine(); } } @@ -1600,4 +1602,25 @@ public class Properties extends Hashtable { } this.map = map; } + + /** + * Returns a formatted timestamp to be used in the properties file header. + * The date used is the current date, unless the SOURCE_DATE_EPOCH + * environment variable is specified. In this case the format used is + * locale and timezone insensitive to ensure the output is reproducible. + */ + @SuppressWarnings("removal") + private static String getFormattedTimestamp() { + final String epoch = AccessController.doPrivileged( + (PrivilegedAction)() -> System.getenv("SOURCE_DATE_EPOCH")); + if (epoch == null) { + return new Date().toString(); + } else { + // Use the SOURCE_DATE_EPOCH timestamp and make the format locale/timezone insensitive + java.text.SimpleDateFormat fmt = new java.text.SimpleDateFormat("yyyy-MM-dd HH:mm:ss z", java.util.Locale.ENGLISH); + fmt.setTimeZone(java.util.TimeZone.getTimeZone("UTC")); + Date date = new Date(1000 * Long.parseLong(epoch)); + return fmt.format(date); + } + } }