--- a/src/Pure/System/session.scala Tue May 29 21:03:11 2012 +0200
+++ b/src/Pure/System/session.scala Tue May 29 21:48:05 2012 +0200
@@ -174,7 +174,7 @@
/* actor messages */
- private case class Start(timeout: Time, args: List[String])
+ private case class Start(args: List[String])
private case object Cancel_Execution
private case class Edit(edits: List[Document.Edit_Text])
private case class Change(
@@ -389,10 +389,10 @@
receiveWithin(delay_commands_changed.flush_timeout) {
case TIMEOUT => delay_commands_changed.flush()
- case Start(timeout, args) if prover.isEmpty =>
+ case Start(args) if prover.isEmpty =>
if (phase == Session.Inactive || phase == Session.Failed) {
phase = Session.Startup
- prover = Some(new Isabelle_Process(timeout, receiver.invoke _, args) with Protocol)
+ prover = Some(new Isabelle_Process(receiver.invoke _, args) with Protocol)
}
case Stop =>
@@ -446,10 +446,7 @@
/* actions */
- def start(timeout: Time, args: List[String])
- { session_actor ! Start(timeout, args) }
-
- def start(args: List[String]) { start (Time.seconds(25), args) }
+ def start(args: List[String]) { session_actor ! Start(args) }
def stop() { commands_changed_buffer !? Stop; change_parser !? Stop; session_actor !? Stop }