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/PubServe.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 118 matching lines @@
   IContainer getWorkingDir() {
     return workingDir;
   }
 
   boolean isAlive() {
     return process != null && !isTerminated() && pubConnection != null
         && pubConnection.isConnected();
   }
 
   /**
+   * Sends an exit on close command to pub, indicating pub serve should shut down when connection is
+   * lost.
+   * 
+   * @throws IOException
+   */
+  void sendExitOnCloseCommand() throws IOException {
+    PubCommands command = pubConnection.getCommands();
+    command.exitOnClose();
+  }
+  
+  /**
    * Send a urlToAssetId command to the current pub serve
    * 
    * @param url
    * @param callback
    * @throws IOException
    */
   void sendGetAssetIdCommand(String url, PubCallback<PubAsset> callback) throws IOException {
     PubCommands command = pubConnection.getCommands();
     command.urlToAssetId(url, callback);
   }
@@ skipping 71 matching lines @@
     pubConnection = new PubConnection(new URI(NLS.bind(WEBSOCKET_URL, LOCAL_HOST_ADDR, portNumber)));
 
     pubConnection.addConnectionListener(new PubConnectionListener() {
       @Override
       public void connectionClosed(PubConnection connection) {
         pubConnection = null;
       }
     });
 
     pubConnection.connect();
-
+    sendExitOnCloseCommand();
   }
 
   private void copyStream(InputStream in, StringBuilder stringBuilder, boolean toConsole) {
     byte[] buffer = new byte[2048];
     try {
       int count = in.read(buffer);
       while (count != -1) {
         if (count > 0) {
           String str = new String(buffer, 0, count);
           stringBuilder.append(str);
@@ skipping 63 matching lines @@
     }
 
     if (isTerminated()) {
       return false;
     }
     servedDirs.add(directoryToServe);
 
     return true;
   }
 }