anchor.diff:          (new Utf8Codec()).decoder).transform(new LineSplitter()).listen((String line) {
         String trimmedLine = line.trim();
   
  -      _recordStdio('RECV: $trimmedLine');
  +      _logStdio('RECV: $trimmedLine');
         var message;
         try {
           message = JSON.decoder.convert(trimmedLine);
  
positive.code:    * Stop the server.
     */
    Future kill() {
      debugStdio();
      _recordStdio('PROCESS FORCIBLY TERMINATED');
      _process.kill();
      return _process.exitCode;
    }
  
negative.code:     _process.stderr.transform(
          (new Utf8Codec()).decoder).transform(new LineSplitter()).listen((String line) {
        String trimmedLine = line.trim();
        _logStdio('ERR:  $trimmedLine');
      });
    }
  
  