Index: runtime/lib/developer.dart |
diff --git a/runtime/lib/developer.dart b/runtime/lib/developer.dart |
index ec3d38b621c6552ec0abbf0b5b19934b450d1e11..d2e48a592d5ef4006cadb03014c01f1ec8ba6cc8 100644 |
--- a/runtime/lib/developer.dart |
+++ b/runtime/lib/developer.dart |
@@ -148,3 +148,12 @@ _postResponse(SendPort replyPort, |
} |
replyPort.send(sb.toString()); |
} |
+ |
+@patch int _getServiceMajorVersion() native "Developer_getServiceMajorVersion"; |
+ |
+@patch int _getServiceMinorVersion() native "Developer_getServiceMinorVersion"; |
+ |
+@patch void _getServerInfo(SendPort sp) native "Developer_getServerInfo"; |
+ |
+@patch void _webServerControl(SendPort sp, bool enable) |
+ native "Developer_webServerControl"; |