This uses taskkill to "soft" terminate any timed-out fuzzing runs, falling back to the "hard" os.kill() to ensure that the process eventually gets killed. This works because taskkill sends a WM_CLOSE message to the PIDs that it kills, allowing them to run custom exit behavior first.
Fixes #337.
This uses
taskkill
to "soft" terminate any timed-out fuzzing runs, falling back to the "hard"os.kill()
to ensure that the process eventually gets killed. This works becausetaskkill
sends aWM_CLOSE
message to the PIDs that it kills, allowing them to run custom exit behavior first.