# HG changeset patch
# User wenzelm
# Date 1316951339 -7200
# Node ID 6c66e268f8eb35bb2178460f03ae0e6856de0b8c
# Parent  04286b0fc856ea831a6bb860b198576eb01493b0
more uniform defaults;

diff -r 04286b0fc856 -r 6c66e268f8eb src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Sun Sep 25 09:37:33 2011 +0200
+++ b/src/Pure/System/isabelle_process.scala	Sun Sep 25 13:48:59 2011 +0200
@@ -76,7 +76,7 @@
 
 
 class Isabelle_Process(
-    timeout: Time = Time.seconds(10),
+    timeout: Time = Time.seconds(25),
     use_socket: Boolean = false,
     receiver: Isabelle_Process.Message => Unit = Console.println(_),
     args: List[String] = Nil)
diff -r 04286b0fc856 -r 6c66e268f8eb src/Pure/System/session.scala
--- a/src/Pure/System/session.scala	Sun Sep 25 09:37:33 2011 +0200
+++ b/src/Pure/System/session.scala	Sun Sep 25 13:48:59 2011 +0200
@@ -469,7 +469,7 @@
 
   /* 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 }
diff -r 04286b0fc856 -r 6c66e268f8eb src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Sun Sep 25 09:37:33 2011 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Sun Sep 25 13:48:59 2011 +0200
@@ -319,7 +319,7 @@
 
   def start_session()
   {
-    val timeout = Time_Property("startup-timeout", Time.seconds(10)) max Time.seconds(5)
+    val timeout = Time_Property("startup-timeout", Time.seconds(25)) max Time.seconds(5)
     val use_socket = Isabelle_System.getenv("JEDIT_USE_SOCKET") == "true"
     val modes = space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE")).map("-m" + _)
     val logic = {