Merge remote-tracking branch 'public/pr/1823' into mbedtls-2.1

This commit is contained in:
Simon Butcher 2018-07-10 14:34:34 +01:00
commit 275265dc1d

View file

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