| Index: tools/ddbg.dart
|
| ===================================================================
|
| --- tools/ddbg.dart (revision 30953)
|
| +++ tools/ddbg.dart (working copy)
|
| @@ -966,6 +966,7 @@
|
| if (script != null) {
|
| return new Future.value(script);
|
| }
|
| + script = new TargetScript();
|
|
|
| // Ask the vm for the source and line number table.
|
| var sourceCmd = {
|
| @@ -997,7 +998,6 @@
|
| script.tokenToLine = parseLineNumberTable(result['lines']);
|
| });
|
|
|
| - script = new TargetScript();
|
| return Future.wait([sourceResponse, lineNumberResponse]).then((_) {
|
| // When both commands complete, cache the result.
|
| isolate.scripts[url] = script;
|
|
|