anchor.diff:    }
   
     void requestExit() {
  +    print('** Requesting script to exit.');
       process.stdin.add([32, 13, 10]);
     }
   }
  
positive.code:       onRequestFailed(e);
        return;
      }
      var reply;
      try {
        reply = JSON.parse(replyAsString);
  
negative.code:           completer.complete(portNumber);
            // Stop repeat completions.
            first = false;
            print('** Signaled to run test queries on $portNumber');
          }
          print(line);
        });
  