1.1 --- a/src/Pure/System/session.scala	Fri Sep 24 17:55:32 2010 +0200
     1.2 +++ b/src/Pure/System/session.scala	Fri Sep 24 20:33:38 2010 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  
     1.5    sealed abstract class Phase
     1.6    case object Inactive extends Phase
     1.7 -  case object Exit extends Phase
     1.8 +  case object Startup extends Phase
     1.9    case object Ready extends Phase
    1.10    case object Shutdown extends Phase
    1.11  }
    1.12 @@ -209,10 +209,7 @@
    1.13            if (result.is_syslog) {
    1.14              reverse_syslog ::= result.message
    1.15              if (result.is_ready) phase = Session.Ready
    1.16 -            else if (result.is_exit) {
    1.17 -              phase = Session.Exit
    1.18 -              phase = Session.Inactive
    1.19 -            }
    1.20 +            else if (result.is_exit) phase = Session.Inactive
    1.21            }
    1.22            else if (result.is_stdout) { }
    1.23            else if (result.is_status) {
    1.24 @@ -260,6 +257,7 @@
    1.25          case result: Isabelle_Process.Result => handle_result(result)
    1.26  
    1.27          case Start(timeout, args) if prover == null =>
    1.28 +          phase = Session.Startup
    1.29            prover = new Isabelle_Process(system, timeout, self, args:_*) with Isar_Document
    1.30  
    1.31          case Stop if phase == Session.Ready =>