diff options
Diffstat (limited to 'tool/get-config_files')
| -rwxr-xr-x | tool/get-config_files | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tool/get-config_files b/tool/get-config_files index 4551694180..7828dade99 100755 --- a/tool/get-config_files +++ b/tool/get-config_files @@ -2,6 +2,11 @@ require File.expand_path('../config_files', __FILE__) ARGV.each {|n| STDOUT.print "Downloading #{n}..."; STDOUT.flush - ConfigFiles.download(n) - STDOUT.puts + begin + ConfigFiles.download(n) + STDOUT.puts + rescue => e + STDOUT.puts + abort("#{$0}: #{e.message}") + end } |