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 deac6bc79f43e57f6c151f8bc09b40fa88c7524f..6b07f2e3c3ae98bab3effa57c74de19f6ef7c7b7 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,10 +30,11 @@ class ServiceProvider extends service_provider.ServiceProvider { |
_proxy.connectToService(name, pipe.endpoints[1]); |
} |
- close() { |
+ close({bool nodefer : false}) { |
if (_proxy != null) { |
_proxy.close(); |
_proxy = null; |
} |
+ super.close(nodefer: nodefer); |
} |
} |