Fix format_time to format fractional times correctly.

1 files changed, 7 insertions, 2 deletions

diff --git a/summainlib.py b/summainlib.py
index 816a1a9..57a29ad 100644
--- a/summainlib.py
+++ b/summainlib.py
@@ -16,6 +16,7 @@
 
 import grp
 import hashlib
+import math
 import os
 import pwd
 import stat
@@ -214,8 +215,12 @@ class FilesystemObject(object):
             return self.readlink(self._filename)
 
     def format_time(self, timestamp):
-        return time.strftime('%Y-%m-%d %H:%M:%S +0000', 
-                             time.gmtime(timestamp))
+        s = time.strftime('%Y-%m-%d %H:%M:%S', time.gmtime(timestamp))
+        fract, whole = math.modf(timestamp)
+        if fract > 0.0:
+            s += ('%g' % fract)[1:] # Skip leading '.'
+        s += ' +0000'
+        return s
 
     def lookup_username(self, uid):
         return pwd.getpwuid(uid).pw_name