Merge "Replicate demo/boot/portal_vm_init.sh"
[portal.git] / deliveries / widget_ms_stop.sh
1 #!/bin/bash
2
3 # Establish environment variables
4 source $(dirname $0)/os_settings.sh
5
6 echo "Stopping docker container ${WMS_CONT_NAME}"
7 docker stop ${WMS_CONT_NAME}
8 echo "Removing docker image ${WMS_CONT_NAME}"
9 docker rm ${WMS_CONT_NAME}