1.1 --- a/src/Pure/System/session.scala	Sat May 22 20:20:51 2010 +0200
     1.2 +++ b/src/Pure/System/session.scala	Sat May 22 20:37:20 2010 +0200
     1.3 @@ -148,7 +148,7 @@
     1.4        }
     1.5        else if (result.kind == Isabelle_Process.Kind.EXIT)
     1.6          prover = null
     1.7 -      else if (result.kind != Isabelle_Process.Kind.STDIN && !result.is_raw)
     1.8 +      else if (!result.is_system)   // FIXME syslog (!?)
     1.9          bad_result(result)
    1.10      }
    1.11