# HG changeset patch
# User wenzelm
# Date 1611502666 -3600
# Node ID f9c71ce29150275836fa7e9d1ad5aa72da4b570f
# Parent  7e70d7dd1baa6eda9a2bac539952f9de9e3bbc83
tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit;

diff -r 7e70d7dd1baa -r f9c71ce29150 src/Pure/Tools/server.scala
--- a/src/Pure/Tools/server.scala	Sun Jan 24 13:56:43 2021 +0100
+++ b/src/Pure/Tools/server.scala	Sun Jan 24 16:37:46 2021 +0100
@@ -139,7 +139,7 @@
         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))
               }