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
_______________________________________________ LibreOffice mailing list LibreOffice@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/libreoffice
