Index: third_party/mojo/src/mojo/public/dart/src/service_provider.dart |
diff --git a/third_party/mojo/src/mojo/public/dart/src/service_provider.dart b/third_party/mojo/src/mojo/public/dart/src/service_provider.dart |
index 6b07f2e3c3ae98bab3effa57c74de19f6ef7c7b7..deac6bc79f43e57f6c151f8bc09b40fa88c7524f 100644 |
--- a/third_party/mojo/src/mojo/public/dart/src/service_provider.dart |
+++ b/third_party/mojo/src/mojo/public/dart/src/service_provider.dart |
@@ -30,11 +30,10 @@ class ServiceProvider extends service_provider.ServiceProvider { |
_proxy.connectToService(name, pipe.endpoints[1]); |
} |
- close({bool nodefer : false}) { |
+ close() { |
if (_proxy != null) { |
_proxy.close(); |
_proxy = null; |
} |
- super.close(nodefer: nodefer); |
} |
} |