Use explicit date formatting for PS backend timestamp, instead of asctime

Alexis Bienvenüe · Alexis Bienvenüe · commit d10a21ece008 · 2016-07-12T23:53:07.000+02:00
diff --git a/lib/matplotlib/backends/backend_ps.py b/lib/matplotlib/backends/backend_ps.py
@@ -8,7 +8,7 @@
 import six
 from six.moves import StringIO
 
-import glob, math, os, shutil, sys, time
+import glob, math, os, shutil, sys, time, datetime
 def _fn_name(): return sys._getframe(1).f_code.co_name
 import io
 
@@ -1091,7 +1091,8 @@ def print_figure_impl():
             # See https://reproducible-builds.org/specs/source-date-epoch/
             source_date_epoch = os.getenv("SOURCE_DATE_EPOCH")
             if source_date_epoch:
-                source_date = time.asctime(time.gmtime(int(source_date_epoch)))
+                source_date = datetime.datetime.utcfromtimestamp(
+                    int(source_date_epoch) ).strftime("%a %b %e %T %Y")
             else:
                 source_date = time.ctime()
             print("%%CreationDate: "+source_date, file=fh)
@@ -1281,7 +1282,8 @@ def write(self, *kl, **kwargs):
             # See https://reproducible-builds.org/specs/source-date-epoch/
             source_date_epoch = os.getenv("SOURCE_DATE_EPOCH")
             if source_date_epoch:
-                source_date = time.asctime(time.gmtime(int(source_date_epoch)))
+                source_date = datetime.datetime.utcfromtimestamp(
+                    int(source_date_epoch) ).strftime("%a %b %e %T %Y")
             else:
                 source_date = time.ctime()
             print("%%CreationDate: "+source_date, file=fh)
