Merge remote-tracking branch 'public/pr/1821' into development

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

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"
} }