Index: tools/ddbg.dart |
diff --git a/tools/ddbg.dart b/tools/ddbg.dart |
index e79e294c2aa12aad5c8f2870c55557e14fb17c79..41747008b9749205a92272c7374d3dd567f3b134 100644 |
--- a/tools/ddbg.dart |
+++ b/tools/ddbg.dart |
@@ -575,6 +575,7 @@ void debuggerMain() { |
}, |
onError: (err) { |
print("Error in debug connection: $err"); |
+ // TODO(floitsch): do we want to print the stack trace? |
quitShell(); |
}); |
stdinSubscription = stdin.transform(new StringDecoder()) |