src/Pure/Tools/server.scala

       Isabelle_Thread.fork(name = "server_handler") {
         var finished = false
         while (!finished) {
           Exn.capture(socket.accept) match {
             case Exn.Res(client) =>
-              Isabelle_Thread.fork(name = "server_connection") {
+              Isabelle_Thread.fork(name = "client") {
                 using(Connection(client))(connection =>
                   if (connection.read_password(password)) handle(connection))
               }
             case Exn.Exn(_) => finished = true
           }