[gnome-ostree] plugin: Do float division for time spans

[Colin Walters <walters src gnome org>]

commit 8f487d94ec36eccbf067eecc05d610758054f147
Author: Colin Walters <walters verbum org>
Date:   Tue May 21 11:00:50 2013 -0400

    plugin: Do float division for time spans

 extras/supybot/GNOMEOSTree/plugin.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extras/supybot/GNOMEOSTree/plugin.py b/extras/supybot/GNOMEOSTree/plugin.py
index 917d78d..2959e9e 100644
--- a/extras/supybot/GNOMEOSTree/plugin.py
+++ b/extras/supybot/GNOMEOSTree/plugin.py
@@ -92,7 +92,7 @@ class GNOMEOSTree(callbacks.Plugin):
         success = metadata['success']
         success_str = success and 'successful' or 'failed'
         millis = int(metadata['elapsedMillis'])
-        msg += " %s: %s in %.1f seconds. " % (taskver, success_str, millis / 1000)
+        msg += " %s: %s in %.1f seconds. " % (taskver, success_str, millis / 1000.0)
 
         status_path = os.path.join(current_task_path, 'status.txt')
         if os.path.exists(status_path):