# HG changeset patch
# User haftmann
# Date 1295340263 -3600
# Node ID 4f4336e730b94b11654ed68102a755d44d58dbf3
# Parent  ced4f78bb7289c1c001a1652fd4f8a88e16b1120
report mutabelle log in mira configuration

diff -r ced4f78bb728 -r 4f4336e730b9 Admin/mira.py
--- a/Admin/mira.py	Sun Jan 16 21:10:30 2011 +0100
+++ b/Admin/mira.py	Tue Jan 18 09:44:23 2011 +0100
@@ -209,10 +209,9 @@
     except IOError:
         mutabelle_log = ''
 
-    attachments = { 'log': log, 'mutabelle_log': mutabelle_log}
-
     return (return_code == 0 and mutabelle_log != '', extract_isabelle_run_summary(log),
-      {'timing': extract_isabelle_run_timing(log)}, {'log': log}, None)
+      {'timing': extract_isabelle_run_timing(log)},
+      {'log': log, 'mutabelle_log': mutabelle_log}, None)
 
 @configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def Mutabelle_Relation(*args):