13558: Merge branch 'master' into wtsi-hgi-13558-debug-log-tag-req-id
[arvados.git] / tools / arvbox / lib / arvbox / docker / service / doc / run
1 #!/bin/sh
2 # Copyright (C) The Arvados Authors. All rights reserved.
3 #
4 # SPDX-License-Identifier: AGPL-3.0
5
6 set -e
7
8 /usr/local/lib/arvbox/runsu.sh $0-service
9 sv stop doc