diff options
Diffstat (limited to 'tests/scripts/common.sh')
| -rw-r--r-- | tests/scripts/common.sh | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/tests/scripts/common.sh b/tests/scripts/common.sh index 40bff32323..275988ebd9 100644 --- a/tests/scripts/common.sh +++ b/tests/scripts/common.sh @@ -160,14 +160,13 @@ wait_for_free_port() return $ret } -launch_server() { - wait_for_free_port ${PORT} - ${SERV} ${DEBUG} -p "${PORT}" "$@" >${LOGFILE-/dev/null} & +launch_bare_server() { + wait_for_free_port "$PORT" + "$@" >${LOGFILE-/dev/null} & } -launch_bare_server() { - wait_for_free_port ${PORT} - ${SERV} "$@" >${LOGFILE-/dev/null} & +launch_server() { + launch_bare_server $VALGRIND $SERV $DEBUG -p "$PORT" "$@" } wait_server() { |