anchor.diff:  }
   
   logResponseInOutputPanel(HttpRequest request) {
  +  String responseText = request.responseText;
     if (request.status == 200) {
  -    String responseText = request.responseText;
       // Try to encode with it a JSON pretty printer
       try {
         JsonEncoder encoder = new JsonEncoder.withIndent("  ");
  
positive.code:     }
      querySelector('#raw-output').querySelector('.card-contents').innerHtml = "<pre>$responseText</pre>";
    } else {
      querySelector('#raw-output').querySelector('.card-contents').text = 'Request failed, status=${request.status}';
    }
  }
  
  
negative.code:     var url = '$dartServicesURL/localExec';
      Map<String, String> sources = collectCodeSources();
      String input = querySelector('#raw-input').querySelector('.card-contents').text;
      sources = _selectExecFile(sources, "entry_point_map.dart");
  
      Map<String, dynamic> message = {
        "sources": sources,
        "input": input,
  