ssl-opt.sh: Kill server via KILL signal if TERM doesn't succeed
@@ -447,11 +447,20 @@ run_test() {
# terminate the server (and the proxy)
kill $SRV_PID
+ sleep 0.01
+ if kill -0 $SRV_PID >/dev/null 2>&1; then
+ kill -KILL $SRV_PID
wait $SRV_PID
+ fi
+
if [ -n "$PXY_CMD" ]; then
kill $PXY_PID >/dev/null 2>&1
+ sleep 0.01
+ if kill -0 $PXY_PID >/dev/null 2>&1; then
+ kill -KILL $pXY_PID
wait $PXY_PID
fi
+ fi
# retry only on timeouts
if grep '===CLIENT_TIMEOUT===' $CLI_OUT >/dev/null; then
