src/Tools/jEdit/src/plugin.scala
changeset 45055 55274f7e306b
parent 44963 4662dddc2fd8
child 45075 6c66e268f8eb
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Fri Sep 23 13:43:44 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Fri Sep 23 13:44:31 2011 +0200
     1.3 @@ -320,13 +320,14 @@
     1.4    def start_session()
     1.5    {
     1.6      val timeout = Time_Property("startup-timeout", Time.seconds(10)) max Time.seconds(5)
     1.7 +    val use_socket = Isabelle_System.getenv("JEDIT_USE_SOCKET") == "true"
     1.8      val modes = space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE")).map("-m" + _)
     1.9      val logic = {
    1.10        val logic = Property("logic")
    1.11        if (logic != null && logic != "") logic
    1.12        else Isabelle.default_logic()
    1.13      }
    1.14 -    session.start(timeout, modes ::: List(logic))
    1.15 +    session.start(timeout, use_socket, modes ::: List(logic))
    1.16    }
    1.17  
    1.18