tolerate non-existent ISABELLE_OUTPUT
authorkrauss
Wed Dec 19 11:10:47 2012 +0100 (2012-12-19)
changeset 505958bf60e7a6b6c
parent 50594 3f794789df0e
child 50596 e526ac54316d
tolerate non-existent ISABELLE_OUTPUT
Admin/mira.py
     1.1 --- a/Admin/mira.py	Wed Dec 19 10:51:46 2012 +0100
     1.2 +++ b/Admin/mira.py	Wed Dec 19 11:10:47 2012 +0100
     1.3 @@ -87,6 +87,9 @@
     1.4  def extract_image_size(isabelle_home):
     1.5      
     1.6      isabelle_output = isabelle_getenv(isabelle_home, 'ISABELLE_OUTPUT')
     1.7 +    if not path.exists(isabelle_output):
     1.8 +        return {}
     1.9 +
    1.10      return dict((p, path.getsize(path.join(isabelle_output, p))) for p in os.listdir(isabelle_output) if p != "log")
    1.11  
    1.12  def extract_report_data(isabelle_home, logdata):