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