| Index: sdk/lib/_internal/js_runtime/lib/developer_patch.dart
|
| diff --git a/sdk/lib/_internal/js_runtime/lib/developer_patch.dart b/sdk/lib/_internal/js_runtime/lib/developer_patch.dart
|
| index b9e35b2773fe899833de572514aa959581c72255..541658b12897eabaea9dd4738af05f9d3195ed4e 100644
|
| --- a/sdk/lib/_internal/js_runtime/lib/developer_patch.dart
|
| +++ b/sdk/lib/_internal/js_runtime/lib/developer_patch.dart
|
| @@ -117,11 +117,16 @@ int _getServiceMinorVersion() {
|
| }
|
|
|
| @patch
|
| -void _getServerInfo(SendPort sp) {
|
| - sp.send(null);
|
| +void _getServerInfo(SendPort sendPort) {
|
| + sendPort.send(null);
|
| }
|
|
|
| @patch
|
| -void _webServerControl(SendPort sp, bool enable) {
|
| - sp.send(null);
|
| +void _webServerControl(SendPort sendPort, bool enable) {
|
| + sendPort.send(null);
|
| }
|
| +
|
| +@patch
|
| +String _getIsolateIDFromSendPort(SendPort sendPort) {
|
| + return null;
|
| +}
|
|
|