diff --git a/utils/watchcontainerrun.sh b/utils/watchcontainerrun.sh index 6bd720090..97aa18355 100755 --- a/utils/watchcontainerrun.sh +++ b/utils/watchcontainerrun.sh @@ -9,7 +9,7 @@ CLEANUPSCRIPT="$4" TRIES=1 -while ! grep -q 'CONTAINER_ID=' "$FILENAME" > /dev/null 2&>/dev/null ; do +while ! grep -q 'CONTAINER_ID=' "$FILENAME" > /dev/null 2>/dev/null ; do sleep 1 TRIES=$((1+$TRIES)) if [ "$TRIES" -ge 20 ] ; then @@ -32,9 +32,11 @@ while [ -e "$FILENAME" ] ; do rm "$FILENAME" exit fi - inotifywait -e ATTRIB -t 10 "$FILENAME" > /dev/null 2&>/dev/null + inotifywait -e ATTRIB -t 10 "$FILENAME" > /dev/null 2>/dev/null done +echo "containerfile was removed; initiating stop on container with id:" +echo -n " " $RUNNER stop "$CONTAINER_ID" $CLEANUPSCRIPT