diff --git a/RTCP/Cobalt/GPUProc/src/scripts/stopBGL.sh b/RTCP/Cobalt/GPUProc/src/scripts/stopBGL.sh index c7cbb537d0514e76fe9f88482ed3bad22d3c7648..ee09602f5a57f831c6802b6b74029e5e29d5992f 100755 --- a/RTCP/Cobalt/GPUProc/src/scripts/stopBGL.sh +++ b/RTCP/Cobalt/GPUProc/src/scripts/stopBGL.sh @@ -48,7 +48,7 @@ function writecommand { TIMEOUT=60 while [ $TIMEOUT -gt 0 ] && kill -0 "$CMDPID" 2>/dev/null do - if kill -0 "$PID" 2>/dev/null; then + if ! kill -0 "$PID" 2>/dev/null; then echo "Process $PID terminated." break fi