Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MB instead of KB
authorhaftmann
Wed, 28 Sep 2005 08:57:19 +0200
changeset 17686 8c700928401c
parent 17685 8e5b9790805e
child 17687 52157349e006
MB instead of KB
Admin/website/build/pypager.py file | annotate | diff | comparison | revisions 
--- a/Admin/website/build/pypager.py	Tue Sep 27 20:43:39 2005 +0200
+++ b/Admin/website/build/pypager.py	Wed Sep 28 08:57:19 2005 +0200
@@ -151,7 +151,7 @@
         handler.endElement(u"a")
         handler.endElement(u"td")
         handler.startElement(u"td", {})
-        handler.characters(u"%i%sKB" % (size / 1024, unichr(160)))
+        handler.characters(u"%.1f%sMB" % (size / (1024.0 * 1024), unichr(160)))
         handler.endElement(u"td")
 
     def mirror(self, handler, prefix, title, stripprefix = u""):
isabelle