anchor.diff:  
     /**
      * Record a message that was exchanged with the server, and print it out if
  -   * [debugStdio] has been called.
  -   */
  -  void _recordStdio(String line) {
  -    _logger.fine(line);
  -
  -    double elapsedTime = _time.elapsedTicks / _time.frequency;
  -    line = "$elapsedTime: $line";
  -    if (_debuggingStdio) {
  +   * [DUMP_SERVER_MESSAGES] is true.
  +   */
  +  void _logStdio(String line) {
  +    if (DUMP_SERVER_MESSAGES)
         print(line);
  -    }
  -    _recordedStdio.add(line);
     }
   }
  
positive.code:     _process.stderr.transform(
          (new Utf8Codec()).decoder).transform(new LineSplitter()).listen((String line) {
        String trimmedLine = line.trim();
        _recordStdio('ERR:  $trimmedLine');
      });
    }
  
  
negative.code: 
        _process = process;
        process.exitCode.then((int code) {
          _logStdio('TERMINATED WITH EXIT CODE $code');
  
        });
      });
  