-
Improvement
-
Resolution: Unresolved
-
Minor
-
None
Currently, Proc.kill only uses SIGTERM - which in some cases isn't enough.
Either, it should SIGTERM, wait a while, see if the process is still running - and then use SIGKILL, or it should just expose a secondary "really_kill" API that plugin writers can use if they need it.
- is blocking
-
JENKINS-11996 android-emulator shouldn't leave emulator processes running
- Open