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; |
+} |