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