src/Pure/Tools/server.scala

     def reply_error(arg: Any) { reply(Server.Reply.ERROR, arg) }
     def reply_error_message(message: String, more: (String, JSON.T)*): Unit =
       reply_error(Map("message" -> message) ++ more)
 
     def notify(arg: Any) { reply(Server.Reply.NOTE, arg) }
-    def notify_message(kind: String, msg: String, more: (String, JSON.T)*): Unit =
+  }
+
+
+  /* context with output channels */
+
+  class Context private[Server](server: Server, connection: Connection)
+  {
+    context =>
+
+    def shutdown() { server.close() }
+
+    def notify(arg: Any) { connection.notify(arg) }
+    def message(kind: String, msg: String, more: (String, JSON.T)*): Unit =
       notify(Map(Markup.KIND -> kind, "message" -> msg) ++ more)
-  }
-
-
-  /* context with output channels */
-
-  class Context private[Server](server: Server, connection: Connection)
-  {
-    context =>
-
-    def shutdown() { server.close() }
-
-    def message(kind: String, msg: String, more: (String, JSON.T)*): Unit =
-      connection.notify_message(kind, msg, more:_*)
     def writeln(msg: String, more: (String, JSON.T)*): Unit = message(Markup.WRITELN, msg, more:_*)
     def warning(msg: String, more: (String, JSON.T)*): Unit = message(Markup.WARNING, msg, more:_*)
     def error_message(msg: String, more: (String, JSON.T)*): Unit =
       message(Markup.ERROR_MESSAGE, msg, more:_*)
 

         connection.reply_ok(())
         var finished = false
         while (!finished) {
           connection.read_message() match {
             case None => finished = true
-            case Some("") => context.writeln("Command 'help' provides list of commands")
+            case Some("") => context.notify("Command 'help' provides list of commands")
             case Some(msg) =>
               val (name, argument) = Server.Argument.split(msg)
               name match {
                 case Server.Command(cmd) =>
                   argument match {