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@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/libreoffice