# HG changeset patch
# User wenzelm
# Date 1274553440 -7200
# Node ID 492bc98a8809c4cf1d00ff94615ff2aaa45752c1
# Parent  2b94e2d406d9829d2a20a1898f73957c523d613f
ignore system messages;

diff -r 2b94e2d406d9 -r 492bc98a8809 src/Pure/System/session.scala
--- a/src/Pure/System/session.scala	Sat May 22 20:20:51 2010 +0200
+++ b/src/Pure/System/session.scala	Sat May 22 20:37:20 2010 +0200
@@ -148,7 +148,7 @@
       }
       else if (result.kind == Isabelle_Process.Kind.EXIT)
         prover = null
-      else if (result.kind != Isabelle_Process.Kind.STDIN && !result.is_raw)
+      else if (!result.is_system)   // FIXME syslog (!?)
         bad_result(result)
     }