From 2ecc9df2628726fb219d2f42db97f67662e37cf8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Guitaut?= Date: Mon, 7 Sep 2015 10:28:23 +0200 Subject: [PATCH] Remove call to `docker kill` --- commands | 3 --- 1 file changed, 3 deletions(-) diff --git a/commands b/commands index 0da81ea..fd44405 100755 --- a/commands +++ b/commands @@ -76,9 +76,6 @@ case "$1" in docker exec -it "$ID" chmod -R 777 /data service_stop "$SERVICE" - dokku_log_verbose_quiet "Killing container" - docker kill "$ID" > /dev/null || true - sleep 1 dokku_log_verbose_quiet "Removing container" docker rm -v "$ID" > /dev/null