diff --git a/scripts/smoke-test-paper.sh b/scripts/smoke-test-paper.sh index e2033e6..08be645 100644 --- a/scripts/smoke-test-paper.sh +++ b/scripts/smoke-test-paper.sh @@ -16,6 +16,15 @@ plugin_version="${plugin_version%.jar}" cleanup() { if [[ -n "$server_pid" ]] && kill -0 "$server_pid" 2>/dev/null; then kill -TERM "$server_pid" 2>/dev/null || true + for _ in $(seq 1 10); do + if ! kill -0 "$server_pid" 2>/dev/null; then + break + fi + sleep 1 + done + if kill -0 "$server_pid" 2>/dev/null; then + kill -KILL "$server_pid" 2>/dev/null || true + fi wait "$server_pid" 2>/dev/null || true fi for _ in 1 2 3; do