| 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);
|
| }
|
| }
|
|
|