How are Jenkins builds killed exactly?
Noel Grandin
noelgrandin at gmail.com
Sun Dec 29 14:35:30 UTC 2019
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>
More information about the LibreOffice
mailing list