diff --git a/startstop.build.sh b/startstop.build.sh index 787d2ff..28f36a5 100755 --- a/startstop.build.sh +++ b/startstop.build.sh @@ -105,7 +105,8 @@ set -x srv_granian_stop() { if [[ -s "${DEVSHM}/granian.pid" ]]; then local pid - read -a pid < "${DEVSHM}/granian.pid" + # ||: since maybe due to missing \n we get some kind of pipefail ? + read -a pid < "${DEVSHM}/granian.pid" ||: kill -- \${pid} echo "waiting for process \${pid} to die" tail -f --pid=\${pid} /dev/null @@ -114,7 +115,7 @@ srv_granian_stop() { fi if [[ -s "\${PGIDFILE}" ]]; then local pgid - read -a pgid < "\${PGIDFILE}" + read -a pgid < "\${PGIDFILE}" ||: echo "killing process group \${pgid}" kill -- -\${pgid} echo "waiting for process group \${pgid} to die" @@ -122,7 +123,7 @@ srv_granian_stop() { else if [[ -s "\${PIDFILE}" ]]; then local pid - read -a pid < "\${PIDFILE}" + read -a pid < "\${PIDFILE}" ||: kill -- \${pid} echo "waiting for process \${pid} to die" tail -f --pid=\${pid} /dev/null