diff options
Diffstat (limited to 'tests/scripts/common.sh')
| -rw-r--r-- | tests/scripts/common.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/scripts/common.sh b/tests/scripts/common.sh index b338201cb2..32e3827376 100644 --- a/tests/scripts/common.sh +++ b/tests/scripts/common.sh @@ -37,7 +37,7 @@ fail() { launch_server() { PARENT="$1" shift - ${SERV} ${DEBUG} -p "${PORT}" $* >/dev/null 2>&1 & + ${SERV} ${DEBUG} -p "${PORT}" --linger0 $* >/dev/null 2>&1 & LOCALPID="$!" trap "[ ! -z \"${LOCALPID}\" ] && kill ${LOCALPID};" 15 wait "${LOCALPID}" @@ -54,7 +54,7 @@ launch_pkcs11_server() { shift PROVIDER="$1" shift - ${VALGRIND} ${SERV} ${PROVIDER} ${DEBUG} -p "${PORT}" $* & + ${VALGRIND} ${SERV} ${PROVIDER} ${DEBUG} -p "${PORT}" --linger0 $* & LOCALPID="$!" trap "[ ! -z \"${LOCALPID}\" ] && kill ${LOCALPID};" 15 wait "${LOCALPID}" @@ -69,7 +69,7 @@ launch_pkcs11_server() { launch_bare_server() { PARENT="$1" shift - ${SERV} $* >/dev/null 2>&1 & + ${SERV} --linger0 $* >/dev/null 2>&1 & LOCALPID="$!" trap "[ ! -z \"${LOCALPID}\" ] && kill ${LOCALPID};" 15 wait "${LOCALPID}" |