# HG changeset patch
# User wenzelm
# Date 1521111931 -3600
# Node ID fb66d099adb287c9438ea77fecfae0cdaedfdf58
# Parent  11e4060bcdcab05d3548111adf0b4492f5e65942
clarified message;

diff -r 11e4060bcdca -r fb66d099adb2 src/Pure/Tools/server.scala
--- a/src/Pure/Tools/server.scala	Thu Mar 15 11:49:29 2018 +0100
+++ b/src/Pure/Tools/server.scala	Thu Mar 15 12:05:31 2018 +0100
@@ -294,7 +294,10 @@
         using(connection())(connection =>
           {
             connection.set_timeout(Time.seconds(2.0))
-            connection.read_message() == Some(Reply.OK.toString)
+            connection.read_message() match {
+              case Some(Reply(Reply.OK, _)) => true
+              case _ => false
+            }
           })
       }
       catch {
@@ -464,7 +467,11 @@
     {
       connection.read_message() match {
         case Some(msg) if msg == password =>
-          connection.reply_ok(())
+          connection.reply_ok(
+            JSON.Object(
+              "isabelle_id" -> Isabelle_System.isabelle_id(),
+              "isabelle_version" -> Distribution.version))
+
           var finished = false
           while (!finished) {
             connection.read_message() match {