| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 part of dart.io; | 5 part of dart.io; |
| 6 | 6 |
| 7 const int _HEADERS_BUFFER_SIZE = 8 * 1024; | 7 const int _HEADERS_BUFFER_SIZE = 8 * 1024; |
| 8 | 8 |
| 9 class _HttpIncoming extends Stream<List<int>> { | 9 class _HttpIncoming extends Stream<List<int>> { |
| 10 final int _transferLength; | 10 final int _transferLength; |
| (...skipping 2183 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2194 password = userinfo.substring(colon + 1).trim(); | 2194 password = userinfo.substring(colon + 1).trim(); |
| 2195 } | 2195 } |
| 2196 // Look for proxy host and port. | 2196 // Look for proxy host and port. |
| 2197 int colon = proxy.lastIndexOf(":"); | 2197 int colon = proxy.lastIndexOf(":"); |
| 2198 if (colon == -1 || colon == 0 || colon == proxy.length - 1) { | 2198 if (colon == -1 || colon == 0 || colon == proxy.length - 1) { |
| 2199 throw new HttpException( | 2199 throw new HttpException( |
| 2200 "Invalid proxy configuration $configuration"); | 2200 "Invalid proxy configuration $configuration"); |
| 2201 } | 2201 } |
| 2202 String host = proxy.substring(0, colon).trim(); | 2202 String host = proxy.substring(0, colon).trim(); |
| 2203 if (host.startsWith("[") && host.endsWith("]")) { | 2203 if (host.startsWith("[") && host.endsWith("]")) { |
| 2204 host = host.substring(1, host.length - 2); | 2204 host = host.substring(1, host.length - 1); |
| 2205 } | 2205 } |
| 2206 String portString = proxy.substring(colon + 1).trim(); | 2206 String portString = proxy.substring(colon + 1).trim(); |
| 2207 int port; | 2207 int port; |
| 2208 try { | 2208 try { |
| 2209 port = int.parse(portString); | 2209 port = int.parse(portString); |
| 2210 } on FormatException catch (e) { | 2210 } on FormatException catch (e) { |
| 2211 throw new HttpException( | 2211 throw new HttpException( |
| 2212 "Invalid proxy configuration $configuration, " | 2212 "Invalid proxy configuration $configuration, " |
| 2213 "invalid port '$portString'"); | 2213 "invalid port '$portString'"); |
| 2214 } | 2214 } |
| (...skipping 355 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2570 | 2570 |
| 2571 String _getHttpVersion() { | 2571 String _getHttpVersion() { |
| 2572 var version = Platform.version; | 2572 var version = Platform.version; |
| 2573 // Only include major and minor version numbers. | 2573 // Only include major and minor version numbers. |
| 2574 int index = version.indexOf('.', version.indexOf('.') + 1); | 2574 int index = version.indexOf('.', version.indexOf('.') + 1); |
| 2575 version = version.substring(0, index); | 2575 version = version.substring(0, index); |
| 2576 return 'Dart/$version (dart:io)'; | 2576 return 'Dart/$version (dart:io)'; |
| 2577 } | 2577 } |
| 2578 | 2578 |
| 2579 | 2579 |
| OLD | NEW |