src/Pure/Tools/server.scala

--- a/src/Pure/Tools/server.scala	Sat Apr 04 21:38:20 2020 +0200
+++ b/src/Pure/Tools/server.scala	Sun Apr 05 13:05:40 2020 +0200
@@ -292,7 +292,7 @@
     val progress: Connection_Progress = context.progress(ident)
     def cancel { progress.stop }
 
-    private lazy val thread = Standard_Thread.fork(name = "server_task")
+    private lazy val thread = Isabelle_Thread.fork(name = "server_task")
     {
       Exn.capture { body(task) } match {
         case Exn.Res(res) =>
@@ -601,12 +601,12 @@
   }
 
   private lazy val server_thread: Thread =
-    Standard_Thread.fork(name = "server") {
+    Isabelle_Thread.fork(name = "server") {
       var finished = false
       while (!finished) {
         Exn.capture(server_socket.accept) match {
           case Exn.Res(socket) =>
-            Standard_Thread.fork(name = "server_connection")
+            Isabelle_Thread.fork(name = "server_connection")
               { using(Server.Connection(socket))(handle) }
           case Exn.Exn(_) => finished = true
         }