OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 library shell; | 5 library shell; |
6 | 6 |
7 import 'package:observatory/service_io.dart'; | 7 import 'package:observatory/service_io.dart'; |
8 | 8 |
9 import 'dart:io'; | 9 import 'dart:io'; |
10 | 10 |
(...skipping 15 matching lines...) Expand all Loading... |
26 } | 26 } |
27 | 27 |
28 void main() { | 28 void main() { |
29 String addr = 'ws://localhost:8181/ws'; | 29 String addr = 'ws://localhost:8181/ws'; |
30 new WebSocketVM(new WebSocketVMTarget(addr)).get('vm').then((VM vm) { | 30 new WebSocketVM(new WebSocketVMTarget(addr)).get('vm').then((VM vm) { |
31 Isolate isolate = vm.isolates.first; | 31 Isolate isolate = vm.isolates.first; |
32 String prefix = '${isolate.link}'; | 32 String prefix = '${isolate.link}'; |
33 repl(vm, prefix, 'prefix $prefix'); | 33 repl(vm, prefix, 'prefix $prefix'); |
34 }); | 34 }); |
35 } | 35 } |
OLD | NEW |