# HG changeset patch
# User wenzelm
# Date 1520597035 -3600
# Node ID 1babcc248be0f7e31569d4bc44bdfa74a87eb029
# Parent  77a65c9a849a91ae9b021f14d21c24a2901ff01c
clarified server start, notably for invocation within regular Isabelle/Scala process;

diff -r 77a65c9a849a -r 1babcc248be0 src/Pure/Tools/server.scala
--- a/src/Pure/Tools/server.scala	Fri Mar 09 12:45:53 2018 +0100
+++ b/src/Pure/Tools/server.scala	Fri Mar 09 13:03:55 2018 +0100
@@ -134,6 +134,7 @@
               stmt.execute()
             })
 
+            server.start
             (entry, Some(server))
         }
       })
@@ -258,6 +259,8 @@
       }
     }
 
+  def start { server_thread }
+
   def join { server_thread.join; shutdown() }
 
   def shutdown() { server_socket.close }