Should wptrunner send a SIGTERM or SIGINT instead of SIGKILL when a timeout occurs?

[emilio]

It'd be helpful to get a backtrace when an unexpected timeout occurs, like in #13641.

Of course another timeout needs to be used to kill the process completely if it's unresponsive, but I expect that to be easy-ish...

Thoughts? @jdm @jgraham

[jdm]

In my experience, the stack traces from timeouts are rarely meaningful - it's usually just sitting in an event loop somewhere, and not showing any kind of smoking gun.

[nox]

So is there anything to do here, or can we close this?

[jdm]

It would require modifying

servo/tests/wpt/web-platform-tests/tools/wptrunner/wptrunner/executors/executorservo.py

Line 137 in 8dece5e

self.proc.kill()

.