more uniform defaults;
authorwenzelm
Sun Sep 25 13:48:59 2011 +0200 (2011-09-25)
changeset 450756c66e268f8eb
parent 45074 04286b0fc856
child 45076 dd803d319d5b
more uniform defaults;
src/Pure/System/isabelle_process.scala
src/Pure/System/session.scala
src/Tools/jEdit/src/plugin.scala
     1.1 --- a/src/Pure/System/isabelle_process.scala	Sun Sep 25 09:37:33 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Sun Sep 25 13:48:59 2011 +0200
     1.3 @@ -76,7 +76,7 @@
     1.4  
     1.5  
     1.6  class Isabelle_Process(
     1.7 -    timeout: Time = Time.seconds(10),
     1.8 +    timeout: Time = Time.seconds(25),
     1.9      use_socket: Boolean = false,
    1.10      receiver: Isabelle_Process.Message => Unit = Console.println(_),
    1.11      args: List[String] = Nil)
     2.1 --- a/src/Pure/System/session.scala	Sun Sep 25 09:37:33 2011 +0200
     2.2 +++ b/src/Pure/System/session.scala	Sun Sep 25 13:48:59 2011 +0200
     2.3 @@ -469,7 +469,7 @@
     2.4  
     2.5    /* actions */
     2.6  
     2.7 -  def start(timeout: Time = Time.seconds(10), use_socket: Boolean = false, args: List[String])
     2.8 +  def start(timeout: Time = Time.seconds(25), use_socket: Boolean = false, args: List[String])
     2.9    { session_actor ! Start(timeout, use_socket, args) }
    2.10  
    2.11    def stop() { commands_changed_buffer !? Stop; session_actor !? Stop }
     3.1 --- a/src/Tools/jEdit/src/plugin.scala	Sun Sep 25 09:37:33 2011 +0200
     3.2 +++ b/src/Tools/jEdit/src/plugin.scala	Sun Sep 25 13:48:59 2011 +0200
     3.3 @@ -319,7 +319,7 @@
     3.4  
     3.5    def start_session()
     3.6    {
     3.7 -    val timeout = Time_Property("startup-timeout", Time.seconds(10)) max Time.seconds(5)
     3.8 +    val timeout = Time_Property("startup-timeout", Time.seconds(25)) max Time.seconds(5)
     3.9      val use_socket = Isabelle_System.getenv("JEDIT_USE_SOCKET") == "true"
    3.10      val modes = space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE")).map("-m" + _)
    3.11      val logic = {