Merge branch '9018-nodemanager-kill-instead-of-killpg' closes #9018
[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