test suite: clean server pids after server crashed (#12639)

when a server in the test suite crashes and is restarted by redstart_server, we didn't clean it's pid from the list.
we can see that when the corrupt-dump-fuzzer hangs, it has a long list of servers to lean, but in fact they're all already dead.
This commit is contained in:
Oran Agra 2023-10-13 16:28:52 +03:00 committed by GitHub
parent b784c5375e
commit f0c1c730d4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -60,6 +60,10 @@ proc kill_server config {
}
check_sanitizer_errors [dict get $config stderr]
# Remove this pid from the set of active pids in the test server.
send_data_packet $::test_server_fd server-killed $pid
return
}