wait_server_start: warn if lsof is not available

If lsof is not available, wait_server_start uses a fixed timeout,
which can trigger a race condition if the timeout turns out to be too
short. Emit a warning so that we know this is going on from the test
logs.
This commit is contained in:
Gilles Peskine 2018-01-08 12:38:15 +01:00 committed by Manuel Pégourié-Gonnard
parent 3f69e54f3b
commit 784f41c90d
2 changed files with 2 additions and 0 deletions

View file

@ -878,6 +878,7 @@ if type lsof >/dev/null 2>/dev/null; then
done
}
else
echo "Warning: lsof not available, wait_server_start = sleep"
wait_server_start() {
sleep 2
}

View file

@ -254,6 +254,7 @@ if type lsof >/dev/null 2>/dev/null; then
done
}
else
echo "Warning: lsof not available, wait_server_start = sleep $START_DELAY"
wait_server_start() {
sleep "$START_DELAY"
}