| Index: sdk/lib/developer/extension.dart
|
| diff --git a/sdk/lib/developer/extension.dart b/sdk/lib/developer/extension.dart
|
| index 04b3149ccdae24594a5aebcfba4c3c36a41e7d39..f23b5ad5630b266f35c0ef1576cedf6595374ff8 100644
|
| --- a/sdk/lib/developer/extension.dart
|
| +++ b/sdk/lib/developer/extension.dart
|
| @@ -158,9 +158,7 @@ _postResponse(SendPort replyPort,
|
| assert(replyPort != null);
|
| if (id == null) {
|
| // No id -> no response.
|
| - // TODO(johnmccutchan): This code and the code in service.cc leave the
|
| - // service isolate with an open port. Consider posting 'null' to indicate
|
| - // that no response is coming.
|
| + replyPort.send(null);
|
| return;
|
| }
|
| assert(id != null);
|
|
|