Merge remote-tracking branch 'public/pr/1822' into mbedtls-2.7

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

View file

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