src/Pure/Tools/server.scala

   override def toString: String = Server.print(port, password)
 
   private def handle(connection: Server.Connection)
   {
     connection.read_line() match {
-      case None =>
-      case Some(line) if line != password => connection.reply_error("Bad protocol")
-      case _ =>
+      case Some(line) if line == password =>
+        connection.reply_ok(JSON.empty)
         var finished = false
         while (!finished) {
           connection.read_line() match {
             case None => finished = true
             case Some(line) if line != "" =>

                   }
               }
             case _ =>
           }
         }
+      case _ =>
     }
   }
 
   private lazy val server_thread: Thread =
     Standard_Thread.fork("server") {