Skip to content
Snippets Groups Projects
Commit 53d68b2d authored by Jan David Mol's avatar Jan David Mol
Browse files

Task #5844: Fix test for early runObservation termination

parent 0b01e439
No related branches found
No related tags found
No related merge requests found
...@@ -48,7 +48,7 @@ function writecommand { ...@@ -48,7 +48,7 @@ function writecommand {
TIMEOUT=60 TIMEOUT=60
while [ $TIMEOUT -gt 0 ] && kill -0 "$CMDPID" 2>/dev/null while [ $TIMEOUT -gt 0 ] && kill -0 "$CMDPID" 2>/dev/null
do do
if kill -0 "$PID" 2>/dev/null; then if ! kill -0 "$PID" 2>/dev/null; then
echo "Process $PID terminated." echo "Process $PID terminated."
break break
fi fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment