# HG changeset patch
# User wenzelm
# Date 1520597507 -3600
# Node ID 73c7a55972b4bc0e38b417347cb1207f0cb5fb81
# Parent  acecef5fad588fbc8bab3a7feadfe643dfdb3db0
more implicit wire protocol;

diff -r acecef5fad58 -r 73c7a55972b4 src/Pure/Tools/server.scala
--- a/src/Pure/Tools/server.scala	Fri Mar 09 13:07:00 2018 +0100
+++ b/src/Pure/Tools/server.scala	Fri Mar 09 13:11:47 2018 +0100
@@ -215,8 +215,7 @@
   {
     connection.read_line() match {
       case None =>
-      case Some(line) if line != password =>
-        connection.reply_error("Bad password -- connection closed")
+      case Some(line) if line != password => connection.reply_error("Bad protocol")
       case _ =>
         var finished = false
         while (!finished) {