# HG changeset patch
# User Jan Nieuwenhuizen <janneke@gnu.org>
# Date 1254162838 -7200
# Node ID 70bea86102934815dc0b5a4d1a2fdd913ee280f7
# Parent  781d469231f598c40c13c4bc7ef721972b66cc4d# Parent  c5ff07d9622bbbac5fa5eca5c679c5f9ad589411
Merge branch 'mester'

diff -r 781d469231f5 -r 70bea8610293 gub/misc.py
--- 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):