How are Jenkins builds killed exactly?

[Noel Grandin]

Note that over the last week or so, I have been frequently manually killing
these zombie processes.

If we can't fix this, I suggest we add:

kill $(ps -o pid= --ppid $$)

to the end of the Jenkins build script
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/libreoffice/attachments/20191229/d7e78b6c/attachment.htm>