From fbe1c31961c8e1ef7550d6ee44a11871bbb12c3e Mon Sep 17 00:00:00 2001 From: cnc Date: Tue, 2 Jun 2026 06:47:02 +0800 Subject: [PATCH] Stabilize browser smoke profile cleanup --- test-web-wasm-browser-smoke.sh | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/test-web-wasm-browser-smoke.sh b/test-web-wasm-browser-smoke.sh index b42d898..ec887ac 100755 --- a/test-web-wasm-browser-smoke.sh +++ b/test-web-wasm-browser-smoke.sh @@ -189,6 +189,16 @@ virtual_time_budget=${BROWSER_SMOKE_VIRTUAL_TIME_BUDGET:-20000} server_log=$(mktemp "${TMPDIR:-/tmp}/cnc_sim_browser_smoke_server.XXXXXX.log") dom_log=$(mktemp "${TMPDIR:-/tmp}/cnc_sim_browser_smoke_dom.XXXXXX.html") profile_dir=$(mktemp -d "${TMPDIR:-/tmp}/cnc_sim_browser_smoke_profile.XXXXXX") +remove_profile_dir() { + local attempt + for attempt in {1..20}; do + if rm -rf "$profile_dir"; then + return 0 + fi + sleep 0.1 + done + rm -rf "$profile_dir" >/dev/null 2>&1 || true +} cleanup() { if [[ -n "${chromium_pid:-}" ]]; then kill "$chromium_pid" >/dev/null 2>&1 || true @@ -199,7 +209,7 @@ cleanup() { wait "$server_pid" >/dev/null 2>&1 || true fi rm -f "$server_log" "$dom_log" - rm -rf "$profile_dir" + remove_profile_dir } trap cleanup EXIT