| Index: runtime/lib/developer.dart
|
| diff --git a/runtime/lib/developer.dart b/runtime/lib/developer.dart
|
| index e9b90b92ded3041afb672d67694c8e1c4a245bd5..78c1d6d53b2d24e847b46d3094f9320dd7a6d9cf 100644
|
| --- a/runtime/lib/developer.dart
|
| +++ b/runtime/lib/developer.dart
|
| @@ -154,7 +154,10 @@ _postResponse(SendPort replyPort,
|
|
|
| @patch int _getServiceMinorVersion() native "Developer_getServiceMinorVersion";
|
|
|
| -@patch void _getServerInfo(SendPort sp) native "Developer_getServerInfo";
|
| +@patch void _getServerInfo(SendPort sendPort) native "Developer_getServerInfo";
|
|
|
| -@patch void _webServerControl(SendPort sp, bool enable)
|
| - native "Developer_webServerControl";
|
| +@patch void _webServerControl(SendPort sendPort, bool enable)
|
| + native "Developer_webServerControl";
|
| +
|
| +@patch String _getIsolateIDFromSendPort(SendPort sendPort)
|
| + native "Developer_getIsolateIDFromSendPort";
|
|
|