anchor.diff:  
   State _systemState = State.NOT_STARTED;
   
  +writeResponse(HttpResponse res, String message) {
  +  res.add(UTF8.encode(JSON.encode({"output": message})));
  +}
   
   Future<String> _runFletchCommnand(String command) async {
     log ("Calling Fletch: $command");
  
positive.code:   log("handleOptions");
    HttpResponse res = req.response;
    addCorsHeaders(res);
    print("${req.method}: ${req.uri.path}");
    res.statusCode = HttpStatus.NO_CONTENT;
    res.close();
  }
  
negative.code:       case "/update":
          log("Calling update $jsonMap");
          String result = await update(jsonMap['src']);
          writeResponse(res, result);
  
          break;
        case "/startup":
          log("Calling update $jsonMap");
          String result = await startup(jsonMap['src']);
          writeResponse(res, result);
          break;
        case "/":
        default:
  