Fixes #2047: Catch connection errors in 'arv' and report the error nicely
-rw-r--r-- 94 .gitignore
-rw-r--r-- 625 COPYING
-rw-r--r-- 11358 LICENSE-2.0.txt
-rw-r--r-- 622 README
-rw-r--r-- 34520 agpl-3.0.txt
drwxr-xr-x - apps
-rw-r--r-- 17802 by-sa-3.0.txt
drwxr-xr-x - crunch_scripts
drwxr-xr-x - doc
drwxr-xr-x - docker
drwxr-xr-x - sdk
drwxr-xr-x - services