Repair Portal defects; upgrade Docker build.

[portal.git] / deliveries / new_stop.sh

diff --git a/deliveries/new_stop.sh b/deliveries/new_stop.sh
index 6a1de1a..6c4bf7a 100755 (executable)
--- a/deliveries/new_stop.sh
+++ b/deliveries/new_stop.sh
@@ -1,2 +1,9 @@
-docker stop 1610-1
-docker  rm 1610-1
+#!/bin/sh
+
+# Establish environment variables
+source $(dirname $0)/os_settings.sh
+
+echo "Stopping docker container named ${CONTNAME}"
+docker stop ${CONTNAME}
+echo "Removing docker container named ${CONTNAME}"
+docker  rm ${CONTNAME}