| 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');
|
| });
|
| }
|
|
|