changeset 5590:70bea8610293 lilypond-release-branch

Merge branch 'mester'
author Jan Nieuwenhuizen <janneke@gnu.org>
date Mon, 28 Sep 2009 20:33:58 +0200
parents 781d469231f5 (current diff) c5ff07d9622b (diff)
children 20bdf18aff7e
files
diffstat 1 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/gub/misc.py	Thu Sep 24 12:38:22 2009 +0100
+++ b/gub/misc.py	Mon Sep 28 20:33:58 2009 +0200
@@ -374,8 +374,11 @@
 class SystemFailed (Exception):
     pass
 
-def file_mod_time (path):
-    return os.stat (path)[stat.ST_MTIME]
+def file_mod_time (file_name):
+    return os.stat (file_name)[stat.ST_MTIME]
+
+def file_mod_time_str (file_name):
+    return time.ctime (file_mod_time (file_name))
 
 def binary_strip_p (filter_out=[], extension_filter_out=[]):
     def predicate (file):