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

Index: editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/pubserve/PubServe.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/pubserve/PubServe.java	(revision 37364)
+++ editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/pubserve/PubServe.java	(working copy)
@@ -136,6 +136,17 @@
   }
 
   /**
+   * 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
@@ -227,7 +238,7 @@
     });
 
     pubConnection.connect();
-
+    sendExitOnCloseCommand();
   }
 
   private void copyStream(InputStream in, StringBuilder stringBuilder, boolean toConsole) {