src/Pure/System/session.scala
changeset 36782 0499d05663dd
parent 36682 3f989067f87d
child 36947 285b39022372
     1.1 --- a/src/Pure/System/session.scala	Mon May 10 15:00:11 2010 +0200
     1.2 +++ b/src/Pure/System/session.scala	Mon May 10 15:01:25 2010 +0200
     1.3 @@ -227,6 +227,8 @@
     1.4          case result: Isabelle_Process.Result =>
     1.5            handle_result(result.cache(xml_cache))
     1.6  
     1.7 +        case TIMEOUT =>  // FIXME clarify!
     1.8 +
     1.9          case bad if prover != null =>
    1.10            System.err.println("session_actor: ignoring bad message " + bad)
    1.11        }