diff Tools/scripts/diff.py @ 77572:ec95b94ea831

Issue #7582: Use ISO timestamp in diff.py
author Alexander Belopolsky <alexander.belopolsky@gmail.com>
date Fri, 22 Jun 2012 12:46:19 -0400
parents 65d5ecefd50d
children 70bd6f7e013b
line wrap: on
line diff
--- a/Tools/scripts/diff.py	Fri Jun 22 12:25:57 2012 -0400
+++ b/Tools/scripts/diff.py	Fri Jun 22 12:46:19 2012 -0400
@@ -9,6 +9,12 @@
 """
 
 import sys, os, time, difflib, optparse
+from datetime import datetime, timezone
+
+def file_mtime(path):
+    t = datetime.fromtimestamp(os.stat(path).st_mtime,
+                               timezone.utc)
+    return t.astimezone().isoformat()
 
 def main():
 
@@ -30,10 +36,12 @@
     n = options.lines
     fromfile, tofile = args
 
-    fromdate = time.ctime(os.stat(fromfile).st_mtime)
-    todate = time.ctime(os.stat(tofile).st_mtime)
-    fromlines = open(fromfile, 'U').readlines()
-    tolines = open(tofile, 'U').readlines()
+    fromdate = file_mtime(fromfile)
+    todate = file_mtime(tofile)
+    with open(fromfile, 'U') as ff:
+        fromlines = ff.readlines()
+    with open(tofile, 'U') as tf:
+        tolines = tf.readlines()
 
     if options.u:
         diff = difflib.unified_diff(fromlines, tolines, fromfile, tofile, fromdate, todate, n=n)