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"; |