| Index: runtime/vm/service/vmservice.dart
|
| diff --git a/runtime/vm/service/vmservice.dart b/runtime/vm/service/vmservice.dart
|
| index 4c12cdb1105e398fcef1fec59f6054aae7679f61..f2210c5face8a8122f9c119d909d6e3baece1796 100644
|
| --- a/runtime/vm/service/vmservice.dart
|
| +++ b/runtime/vm/service/vmservice.dart
|
| @@ -106,10 +106,11 @@ class VMService extends MessageRouter {
|
| void _exit() {
|
| isolateLifecyclePort.close();
|
| scriptLoadPort.close();
|
| - // Create a copy of the set as a list because client.close() alters the set.
|
| + // Create a copy of the set as a list because client.disconnect() will
|
| + // alter the connected clients set.
|
| var clientsList = clients.toList();
|
| for (var client in clientsList) {
|
| - client.close();
|
| + client.disconnect();
|
| }
|
| // Call embedder shutdown hook after the internal shutdown.
|
| if (onShutdown != null) {
|
|
|