def strftime(s):
+ if s is None:
+ return s
+ n = int(s)
+ if n > 10**10:
+ n /= 10**6
try:
- return time.strftime("%a %d %b %Y %T", time.localtime(int(s)))
+ return time.strftime("%a %d %b %Y %T", time.localtime(n))
except (TypeError, ValueError): # s is None or is already formatted
return s
AddDate: %s
Comment: %s
LastModified: %s
-""" % (level, f.name, strftime(f.add_date), f.comment, f.last_modified or ''))
+""" % (level, f.name, strftime(f.add_date), f.comment, strftime(f.last_modified)))
def bookmark(self, b, level):
self.outfile.write("""