Add -f argument to curl to exit nonzero and try mirror if primary
[arvados.git] / services / arv-web /
drwxr-xr-x   ..
-rw-r--r-- 190 README
-rwxr-xr-x 9643 arv-web.py
drwxr-xr-x - sample-cgi-app
drwxr-xr-x - sample-rack-app
drwxr-xr-x - sample-static-page
drwxr-xr-x - sample-wsgi-app