diff --git a/openbis_all/source/bash/servers-shutdown.sh b/openbis_all/source/bash/servers-shutdown.sh
index 2d7268f6aca20688e3bf27b7634e5cfa73b9d209..f1bfa9891e48271878da85515b496e702f1d4e5c 100755
--- a/openbis_all/source/bash/servers-shutdown.sh
+++ b/openbis_all/source/bash/servers-shutdown.sh
@@ -47,7 +47,9 @@ for i in {1..120}; do
     echo -n "."
     sleep 2
     
+    set +o errexit
     started=`egrep -R "($STARTING_MESSAGE|$STOPPED_MESSAGE)" "$LOG_FILE" | tail -1 | grep "$STOPPED_MESSAGE"`
+    set -o errexit
     if [ -n "$started" ]; then
         echo "Done."
         exit 0;