fix for pub serve to be terminated when editor is closed

editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/pubserve/PubCommands.java

 /*
  * Copyright (c) 2014, the Dart project authors.
  * 
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  * 
  * http://www.eclipse.org/legal/epl-v10.html
  * 
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
@@ skipping 14 matching lines @@
  * A class to encapsulate the available pub protocol commands.
  */
 public class PubCommands {
   private PubConnection connection;
 
   protected PubCommands(PubConnection connection) {
     this.connection = connection;
   }
 
   /**
+   * Sends a message to pub to indicate that it should shutdown when connection is closed. There is
+   * no result returned by pub.
+   * 
+   * @throws IOException
+   */
+  public void exitOnClose() throws IOException {
+    // {"method": "exitOnClose"}
+
+    try {
+      JSONObject request = new JSONObject();
+
+      request.put("jsonrpc", "2.0");
+
+      request.put("method", "exitOnClose");
+
+      connection.sendRequest(request, null);
+    } catch (JSONException exception) {
+      throw new IOException(exception);
+    }
+  }
+
+  /**
    * Given an asset ID, returns the relative URI path that asset would be served at.
    * 
    * @param path
    * @param callback
    * @throws IOException
    */
   public void pathToUrl(String path, final PubCallback<String> callback) throws IOException {
     // { "method": "pathToUrls", "path": "web/index.html" }
     // ==>{ "urls": ["http://localhost:8080/index.html"] }
 
@@ skipping 116 matching lines @@
   private PubResult<PubAsset> convertUrlToAssetResult(JSONObject obj) throws JSONException {
     PubResult<PubAsset> result = PubResult.createFrom(obj);
     if (obj.has("result")) {
       JSONObject resObj = (JSONObject) obj.get("result");
       result.setResult(PubAsset.createFrom(resObj));
     }
     return result;
   }
 
 }