projects / arvados.git / blob
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch '8087-arv-cli-request-body-from-file' of https://github.com/wtsi-hgi...
[arvados.git] / tools / arvbox / lib / arvbox / docker / service / sdk / run
1 #!/bin/sh
2 set -e
3
4 /usr/local/lib/arvbox/runsu.sh $0-service
5 sv stop sdk