src/Pure/System/session.scala
changeset 45158 db4bf4fb5492
parent 45076 dd803d319d5b
child 45248 3b7b64b194ee
     1.1 --- a/src/Pure/System/session.scala	Sun Oct 16 21:49:47 2011 +0200
     1.2 +++ b/src/Pure/System/session.scala	Mon Oct 17 11:24:22 2011 +0200
     1.3 @@ -137,7 +137,7 @@
     1.4  
     1.5    /* actor messages */
     1.6  
     1.7 -  private case class Start(timeout: Time, use_socket: Boolean, args: List[String])
     1.8 +  private case class Start(timeout: Time, args: List[String])
     1.9    private case object Cancel_Execution
    1.10    private case class Init_Node(name: Document.Node.Name,
    1.11      header: Document.Node_Header, perspective: Text.Perspective, text: String)
    1.12 @@ -405,12 +405,11 @@
    1.13        receiveWithin(commands_changed_delay.flush_timeout) {
    1.14          case TIMEOUT => commands_changed_delay.flush()
    1.15  
    1.16 -        case Start(timeout, use_socket, args) if prover.isEmpty =>
    1.17 +        case Start(timeout, args) if prover.isEmpty =>
    1.18            if (phase == Session.Inactive || phase == Session.Failed) {
    1.19              phase = Session.Startup
    1.20              prover =
    1.21 -              Some(new Isabelle_Process(timeout, use_socket, receiver.invoke _, args)
    1.22 -                with Isar_Document)
    1.23 +              Some(new Isabelle_Process(timeout, receiver.invoke _, args) with Isar_Document)
    1.24            }
    1.25  
    1.26          case Stop =>
    1.27 @@ -469,10 +468,10 @@
    1.28  
    1.29    /* actions */
    1.30  
    1.31 -  def start(timeout: Time, use_socket: Boolean, args: List[String])
    1.32 -  { session_actor ! Start(timeout, use_socket, args) }
    1.33 +  def start(timeout: Time, args: List[String])
    1.34 +  { session_actor ! Start(timeout, args) }
    1.35  
    1.36 -  def start(args: List[String]) { start (Time.seconds(25), false, args) }
    1.37 +  def start(args: List[String]) { start (Time.seconds(25), args) }
    1.38  
    1.39    def stop() { commands_changed_buffer !? Stop; session_actor !? Stop }
    1.40