| Index: sdk/lib/_internal/pub/test/serve/utils.dart
|
| diff --git a/sdk/lib/_internal/pub/test/serve/utils.dart b/sdk/lib/_internal/pub/test/serve/utils.dart
|
| index 0e5d021483fd6b67cc5e7d81f399f8c67eacf53a..f3a6fa87765343d984af9c32e3ca58dbce8700a2 100644
|
| --- a/sdk/lib/_internal/pub/test/serve/utils.dart
|
| +++ b/sdk/lib/_internal/pub/test/serve/utils.dart
|
| @@ -343,7 +343,7 @@ Future _ensureWebSocket() {
|
|
|
| /// Schedules closing the web socket connection to the currently-running pub
|
| /// serve.
|
| -Future closeWebSocket() {
|
| +void closeWebSocket() {
|
| schedule(() {
|
| return _ensureWebSocket().then((_) => _webSocket.close())
|
| .then((_) => _webSocket = null);
|
|
|