Check for check_calib_inf.pid file

And kill only when it exists. Avoids error message on first call of wgd.sh
This commit is contained in:
Thijs Havinga 2022-05-16 13:43:31 +02:00 committed by GitHub
parent e60c3d1541
commit 33d13ba8b4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -161,10 +161,7 @@ do
fi
done
if ps -p $(</tmp/check_calib_inf.pid) > /dev/null
then
kill $(</tmp/check_calib_inf.pid)
fi
[ -e /tmp/check_calib_inf.pid ] && kill -0 $(</tmp/check_calib_inf.pid)
./check_calib_inf.sh
echo the end