--- 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)
--- 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 }
--- 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 = {