Fix issue 9744

tools/ddbg.dart

Index: tools/ddbg.dart
===================================================================
--- tools/ddbg.dart	(revision 21173)
+++ tools/ddbg.dart	(working copy)
@@ -15,6 +15,7 @@
 
 Socket vmSock;
 String vmData;
+var stdinListenerOrWhateverThisIs;

[Tom Ball, 2013/04/09 23:12:06]

It's a StreamSubscription, so maybe stdinSubscription is a better name. I'm okay
with leaving the name as is, though. :-)

[hausner, 2013/04/09 23:36:32]

Thanks for the hint. I am tempted to leave it as is, but let's be nice :)

On 2013/04/09 23:12:06, Tom Ball wrote:

 StreamSubscription<String> streamSubscription;
 int seqNum = 0;
 int isolate_id = -1;
@@ -60,7 +61,7 @@
 void quitShell() {
   streamSubscription.cancel();
   vmSock.close();
-  stdin.close();
+  stdinListenerOrWhateverThisIs.cancel();
 }
 
 
@@ -407,7 +408,7 @@
 void handlePausedEvent(msg) {
   assert(msg["params"] != null);
   var reason = msg["params"]["reason"];
-  isolate_id = msg["params"]["isolateId"];
+  isolate_id = msg["params"]["id"];
   stackTrace = msg["params"]["callFrames"];
   assert(stackTrace != null);
   assert(stackTrace.length >= 1);
@@ -582,9 +583,9 @@
           print("Error in debug connection: $err");
           quitShell();
         });
-    stdin.transform(new StringDecoder())
-        .transform(new LineTransformer())
-        .listen((String line) => processCommand(line));
+    stdinListenerOrWhateverThisIs = stdin.transform(new StringDecoder())
+                                      .transform(new LineTransformer())
+                                      .listen((String line) => processCommand(line));
   });
 }