12891: Use docker "rm -f" instead of "stop" to cancel container.
authorTom Clegg <tclegg@veritasgenetics.com>
Mon, 22 Jan 2018 15:57:18 +0000 (10:57 -0500)
committerTom Clegg <tclegg@veritasgenetics.com>
Mon, 22 Jan 2018 17:34:03 +0000 (12:34 -0500)
commit8758f3ddc81b9ef9aaab111eb331e452c4ec7de5
tree5cad937d33e537e753a5ba21c7c520bd2b6485fa
parenta63829d71b904ead17aeac3c68bf01e9b020a3a1
12891: Use docker "rm -f" instead of "stop" to cancel container.

"Stop" sends SIGTERM and then (after a timeout) SIGKILL to the main
process in the container. If the contained process catches SIGTERM,
the outcome depends on how much cleanup it manages to do in the
timeout period. We prefer a more predictable SIGKILL outcome.

Arvados-DCO-1.1-Signed-off-by: Tom Clegg <tclegg@veritasgenetics.com>
services/crunch-run/crunchrun.go
services/crunch-run/crunchrun_test.go