--- a/src/Tools/jEdit/src/plugin.scala Fri Sep 23 13:43:44 2011 +0200
+++ b/src/Tools/jEdit/src/plugin.scala Fri Sep 23 13:44:31 2011 +0200
@@ -320,13 +320,14 @@
def start_session()
{
val timeout = Time_Property("startup-timeout", Time.seconds(10)) 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 = {
val logic = Property("logic")
if (logic != null && logic != "") logic
else Isabelle.default_logic()
}
- session.start(timeout, modes ::: List(logic))
+ session.start(timeout, use_socket, modes ::: List(logic))
}