projects / arvados-dev.git / blob
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch '8080-arvbox' closes #8080
[arvados-dev.git] / 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