anchor.diff:      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,
  
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: }
  
  logResponseInOutputPanel(HttpRequest request) {
    String responseText = request.responseText;
    if (request.status == 200) {
      // Try to encode with it a JSON pretty printer
      try {
        JsonEncoder encoder = new JsonEncoder.withIndent("  ");
  