Index: runtime/observatory/bin/shell.dart |
diff --git a/runtime/observatory/bin/shell.dart b/runtime/observatory/bin/shell.dart |
index ef2459c453187fec93bae91a88494450d049a374..0dc63af965199a86091e510e1ef9c431cd080c6c 100644 |
--- a/runtime/observatory/bin/shell.dart |
+++ b/runtime/observatory/bin/shell.dart |
@@ -29,7 +29,7 @@ void main() { |
String addr = 'ws://localhost:8181/ws'; |
new WebSocketVM(new WebSocketVMTarget(addr)).load().then((VM vm) { |
Isolate isolate = vm.isolates.first; |
- String prefix = '${isolate.link}'; |
+ String prefix = '/${isolate.id}'; |
repl(vm, prefix, 'prefix $prefix'); |
}); |
} |