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 b1073b2e6f9a2f3c195e6ef032cc9b57fd9a824a..b9e35b2773fe899833de572514aa959581c72255 100644 |
--- a/sdk/lib/_internal/js_runtime/lib/developer_patch.dart |
+++ b/sdk/lib/_internal/js_runtime/lib/developer_patch.dart |
@@ -105,3 +105,23 @@ void _reportTaskEvent(int start, |
String argumentsAsJson) { |
// TODO. |
} |
+ |
+@patch |
+int _getServiceMajorVersion() { |
+ return 0; |
+} |
+ |
+@patch |
+int _getServiceMinorVersion() { |
+ return 0; |
+} |
+ |
+@patch |
+void _getServerInfo(SendPort sp) { |
+ sp.send(null); |
+} |
+ |
+@patch |
+void _webServerControl(SendPort sp, bool enable) { |
+ sp.send(null); |
+} |