7444: Do not remove docker containers with docker --rm; let dockercleaner do it.
authorTom Clegg <tom@curoverse.com>
Fri, 30 Oct 2015 22:28:46 +0000 (18:28 -0400)
committerTom Clegg <tom@curoverse.com>
Mon, 2 Nov 2015 20:48:28 +0000 (15:48 -0500)
commitbd9722cb7b6f92b752ac786797d884ea711944cb
treeb5a0da30078ddcdaca4e5c8be4ece51dfbc850e7
parent7bde93de3260e08503c7bf9c06fd3448972d378a
7444: Do not remove docker containers with docker --rm; let dockercleaner do it.
sdk/cli/bin/crunch-job