| OLD | NEW |
| 1 #!mojo mojo:sky_viewer | 1 #!mojo mojo:sky_viewer |
| 2 <sky> | 2 <sky> |
| 3 <import src="dart-library.sky" as="library" /> | 3 <import src="dart-library.sky" as="library" /> |
| 4 <script> | 4 <script> |
| 5 import 'dart:async'; | 5 import 'dart:async'; |
| 6 import '/mojo/public/dart/application.dart'; | 6 import '/mojo/public/dart/application.dart'; |
| 7 import 'dart:mojo_bindings'; | 7 import 'dart:mojo_bindings'; |
| 8 import 'dart:mojo_core'; | 8 import 'dart:mojo_core'; |
| 9 import 'dart:typed_data'; | 9 import 'dart:typed_data'; |
| 10 import 'dart:sky.internals' as internals; | 10 import 'dart:sky.internals' as internals; |
| (...skipping 56 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 67 _networkService.close(); | 67 _networkService.close(); |
| 68 _urlLoaderProxy = null; | 68 _urlLoaderProxy = null; |
| 69 _networkService = null; | 69 _networkService = null; |
| 70 } | 70 } |
| 71 } | 71 } |
| 72 | 72 |
| 73 main() { | 73 main() { |
| 74 var messagePipe = new MojoMessagePipe(); | 74 var messagePipe = new MojoMessagePipe(); |
| 75 var wget = new WGet(messagePipe.endpoints[1]); | 75 var wget = new WGet(messagePipe.endpoints[1]); |
| 76 wget.listen(); | 76 wget.listen(); |
| 77 var shellProxy = new shell_mojom.ShellProxy.fromHandle(new MojoHandle(internal
s.passShellProxyHandle())); | 77 var shellProxy = new shell_mojom.ShellProxy.fromHandle(new MojoHandle(internal
s.takeShellProxyHandle())); |
| 78 wget.initializeFromShellProxy(shellProxy, ["mojo:wget", "http://www.google.com
"], "mojo:wget"); | 78 wget.initializeFromShellProxy(shellProxy, ["mojo:wget", "http://www.google.com
"], "mojo:wget"); |
| 79 } | 79 } |
| 80 | 80 |
| 81 </script> | 81 </script> |
| 82 </sky> | 82 </sky> |
| OLD | NEW |