Chromium Code Reviews| 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()) |