OLD | NEW |
1 // Copyright (c) 2015, the Fletch 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 fletchc.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; |
(...skipping 102 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 |