| Index: runtime/lib/developer.dart
|
| diff --git a/runtime/lib/developer.dart b/runtime/lib/developer.dart
|
| index e9b90b92ded3041afb672d67694c8e1c4a245bd5..d43691b789c6355e02b333529d023e3d2c26261b 100644
|
| --- a/runtime/lib/developer.dart
|
| +++ b/runtime/lib/developer.dart
|
| @@ -157,4 +157,7 @@ _postResponse(SendPort replyPort,
|
| @patch void _getServerInfo(SendPort sp) native "Developer_getServerInfo";
|
|
|
| @patch void _webServerControl(SendPort sp, bool enable)
|
| - native "Developer_webServerControl";
|
| + native "Developer_webServerControl";
|
| +
|
| +@patch String _getIsolateIdFromSendPort(SendPort sp)
|
| + native "Developer_getIsolateIdFromSendPort";
|
|
|