# HG changeset patch
# User Gábor Boskovits <boskovits@gmail.com>
# Date 1539456874 -7200
#      Sat Oct 13 20:54:34 2018 +0200
# Node ID 6e5f716a659247888c104f66c58bf40fb959c8a4
# Parent  06656286f572cbf716397b9d983f8dee7d94f913
Make javadoc respect SOURCE_DATE_EPOCH.

diff -r 06656286f572 -r 6e5f716a6592 src/share/classes/com/sun/tools/doclets/formats/html/markup/HtmlDocWriter.java
--- a/src/share/classes/com/sun/tools/doclets/formats/html/markup/HtmlDocWriter.java	Mon Aug 22 10:53:55 2016 -0700
+++ b/src/share/classes/com/sun/tools/doclets/formats/html/markup/HtmlDocWriter.java	Sat Oct 13 20:54:34 2018 +0200
@@ -396,6 +396,13 @@
      */
     public String today() {
         Calendar calendar = new GregorianCalendar(TimeZone.getDefault());
-        return calendar.getTime().toString();
+	Date date=calendar.getTime();
+	Map<String,String> env = System.getenv();
+	if(env.containsKey("SOURCE_DATE_EPOCH")) {
+	    String epoch=env.get("SOURCE_DATE_EPOCH");
+	    long unixtime=Long.parseLong(epoch);
+	    date=new Date(unixtime*1000L);
+	}
+        return date.toString();
     }
 }