Repair Portal defects; upgrade Docker build.
[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}