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.
tolerate non-existent ISABELLE_OUTPUT
authorkrauss
Wed, 19 Dec 2012 11:10:47 +0100
changeset 50595 8bf60e7a6b6c
parent 50594 3f794789df0e
child 50596 e526ac54316d
tolerate non-existent ISABELLE_OUTPUT
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Wed Dec 19 10:51:46 2012 +0100
+++ b/Admin/mira.py	Wed Dec 19 11:10:47 2012 +0100
@@ -87,6 +87,9 @@
 def extract_image_size(isabelle_home):
     
     isabelle_output = isabelle_getenv(isabelle_home, 'ISABELLE_OUTPUT')
+    if not path.exists(isabelle_output):
+        return {}
+
     return dict((p, path.getsize(path.join(isabelle_output, p))) for p in os.listdir(isabelle_output) if p != "log")
 
 def extract_report_data(isabelle_home, logdata):
isabelle