src/Pure/System/session.scala
changeset 37065 2a73253b5898
parent 37063 492bc98a8809
child 37129 4c83696b340e
--- a/src/Pure/System/session.scala	Sat May 22 20:37:59 2010 +0200
+++ b/src/Pure/System/session.scala	Sat May 22 20:59:55 2010 +0200
@@ -36,6 +36,7 @@
 
   val global_settings = new Event_Bus[Session.Global_Settings.type]
   val raw_results = new Event_Bus[Isabelle_Process.Result]
+  val raw_output = new Event_Bus[Isabelle_Process.Result]
   val results = new Event_Bus[Command]
 
   val command_change = new Event_Bus[Command]
@@ -148,6 +149,8 @@
       }
       else if (result.kind == Isabelle_Process.Kind.EXIT)
         prover = null
+      else if (result.is_raw)
+        raw_output.event(result)
       else if (!result.is_system)   // FIXME syslog (!?)
         bad_result(result)
     }