6c4bf7a2d221404f28f9adcce04fb67845bdaac5
[portal.git] / deliveries / new_stop.sh
1 #!/bin/sh
2
3 # Establish environment variables
4 source $(dirname $0)/os_settings.sh
5
6 echo "Stopping docker container named ${CONTNAME}"
7 docker stop ${CONTNAME}
8 echo "Removing docker container named ${CONTNAME}"
9 docker  rm ${CONTNAME}