src/Pure/Tools/server.scala

 
   private def handle(connection: Server.Connection)
   {
     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) {
           connection.read_line() match {
             case None => finished = true