# HG changeset patch
# User wenzelm
# Date 1273496485 -7200
# Node ID 0499d05663dd5e09ad88744066414b163134b6cd
# Parent  a991deb77cbbeaf6a00541805da617958f1ffa1a
ignore spurious TIMEOUT messages, maybe caused by change of actor semantics in scala-2.8;

diff -r a991deb77cbb -r 0499d05663dd src/Pure/System/session.scala
--- a/src/Pure/System/session.scala	Mon May 10 15:00:11 2010 +0200
+++ b/src/Pure/System/session.scala	Mon May 10 15:01:25 2010 +0200
@@ -227,6 +227,8 @@
         case result: Isabelle_Process.Result =>
           handle_result(result.cache(xml_cache))
 
+        case TIMEOUT =>  // FIXME clarify!
+
         case bad if prover != null =>
           System.err.println("session_actor: ignoring bad message " + bad)
       }