| Index: runtime/bin/vmservice/server.dart
|
| diff --git a/runtime/bin/vmservice/server.dart b/runtime/bin/vmservice/server.dart
|
| index 69f07285c678dd646396f90db01a79d465891e99..826205326a4d1390e4f4987fff3738c4683c5dcc 100644
|
| --- a/runtime/bin/vmservice/server.dart
|
| +++ b/runtime/bin/vmservice/server.dart
|
| @@ -338,7 +338,7 @@ class Server {
|
| }
|
|
|
| // Shutdown HTTP server and subscription.
|
| - String oldServerAddress = serverAddress;
|
| + Uri oldServerAddress = serverAddress;
|
| return cleanup(forced).then((_) {
|
| print('Observatory no longer listening on $oldServerAddress');
|
| _server = null;
|
|
|