# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1456525927 -3600
# Node ID 61ff3bef94a63139cc4f1f6975adbfc2bf2e42f2
# Parent  83dacf8fda4721825f37c5c39e2019344b53cc7e
docker (libervia_cont): remove volumes from container on "stop" command

diff -r 83dacf8fda47 -r 61ff3bef94a6 docker/libervia_cont.sh
--- a/docker/libervia_cont.sh	Fri Feb 26 20:46:53 2016 +0100
+++ b/docker/libervia_cont.sh	Fri Feb 26 23:32:07 2016 +0100
@@ -276,7 +276,7 @@
             printf "\nStopping container $CONT"
             docker stop $CONT > /dev/null 2>&1  || printf "... Error while stopping $CONT\n"
             printf "\rDeleting container $CONT"
-            docker rm $CONT > /dev/null 2>&1 || printf "... Error while removing $CONT\n"
+            docker rm -v $CONT > /dev/null 2>&1 || printf "... Error while removing $CONT\n"
         done
         printf "\n"
         ;;