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