| OLD | NEW |
| 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino 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.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 library fletchc.client_commands; | 5 library dartino_compiler.client_commands; |
| 6 | 6 |
| 7 import 'dart:io' show | 7 import 'dart:io' show |
| 8 Socket; | 8 Socket; |
| 9 | 9 |
| 10 import 'dart:async' show | 10 import 'dart:async' show |
| 11 StreamSubscription; | 11 StreamSubscription; |
| 12 | 12 |
| 13 import 'dart:typed_data' show | 13 import 'dart:typed_data' show |
| 14 Uint8List; | 14 Uint8List; |
| 15 | 15 |
| (...skipping 98 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 114 // Ignored, socket.remotePort may fail if the socket was closed on the | 114 // Ignored, socket.remotePort may fail if the socket was closed on the |
| 115 // other side. | 115 // other side. |
| 116 } | 116 } |
| 117 String info = "$name ${socket.port} -> $host:$remotePort"; | 117 String info = "$name ${socket.port} -> $host:$remotePort"; |
| 118 if (log != null) { | 118 if (log != null) { |
| 119 log(info); | 119 log(info); |
| 120 } | 120 } |
| 121 socket.done.catchError(makeErrorHandler(info)); | 121 socket.done.catchError(makeErrorHandler(info)); |
| 122 return socket; | 122 return socket; |
| 123 } | 123 } |
| OLD | NEW |