src/Pure/System/session.scala

   }
 
 
   /* actions */
 
-  def start(timeout: Time = Time.seconds(10), use_socket: Boolean = false, args: List[String])
+  def start(timeout: Time = Time.seconds(25), use_socket: Boolean = false, args: List[String])
   { session_actor ! Start(timeout, use_socket, args) }
 
   def stop() { commands_changed_buffer !? Stop; session_actor !? Stop }
 
   def cancel_execution() { session_actor ! Cancel_Execution }