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 import 'dart:async'; | 5 import 'dart:async'; |
6 import 'dart:io'; | 6 import 'dart:io'; |
7 | 7 |
8 Future downloadFile(Uri url, String destination) { | 8 Future downloadFile(Uri url, String destination) { |
9 var client = new HttpClient(); | 9 var client = new HttpClient(); |
10 return client.getUrl(url) | 10 return client |
11 .then((HttpClientRequest request) => request.close()) | 11 .getUrl(url) |
12 .then((HttpClientResponse response) { | 12 .then((HttpClientRequest request) => request.close()) |
13 if (response.statusCode != HttpStatus.OK) { | 13 .then((HttpClientResponse response) { |
14 throw new Exception("Http status code (${response.statusCode}) " | 14 if (response.statusCode != HttpStatus.OK) { |
15 "was not 200. Aborting."); | 15 throw new Exception("Http status code (${response.statusCode}) " |
16 } | 16 "was not 200. Aborting."); |
17 var sink = new File(destination).openWrite(); | 17 } |
18 return response.pipe(sink).then((_) { | 18 var sink = new File(destination).openWrite(); |
19 client.close(); | 19 return response.pipe(sink).then((_) { |
| 20 client.close(); |
20 }); | 21 }); |
21 }); | 22 }); |
22 } | 23 } |
23 | 24 |
24 void main(List<String> arguments) { | 25 void main(List<String> arguments) { |
25 die(String message) { | 26 die(String message) { |
26 print(message); | 27 print(message); |
27 exit(1); | 28 exit(1); |
28 } | 29 } |
29 | 30 |
30 if (arguments.length != 2) { | 31 if (arguments.length != 2) { |
31 var scriptName = Platform.script.pathSegments.last; | 32 var scriptName = Platform.script.pathSegments.last; |
32 die("Usage dart $scriptName <url> <destination-file>"); | 33 die("Usage dart $scriptName <url> <destination-file>"); |
33 } | 34 } |
34 | 35 |
35 var url = Uri.parse(arguments[0]); | 36 var url = Uri.parse(arguments[0]); |
36 var destination = arguments[1]; | 37 var destination = arguments[1]; |
37 | 38 |
38 if (!['http', 'https'].contains(url.scheme)) { | 39 if (!['http', 'https'].contains(url.scheme)) { |
39 die("Unsupported scheme in uri $url"); | 40 die("Unsupported scheme in uri $url"); |
40 } | 41 } |
41 | 42 |
42 print("Downloading $url to $destination."); | 43 print("Downloading $url to $destination."); |
43 downloadFile(url, destination).then((_) { | 44 downloadFile(url, destination).then((_) { |
44 print("Download finished."); | 45 print("Download finished."); |
45 }).catchError((error) { | 46 }).catchError((error) { |
46 die("An unexpected error occured: $error."); | 47 die("An unexpected error occured: $error."); |
47 }); | 48 }); |
48 } | 49 } |
OLD | NEW |