Workaround when tiny is not PID 1 (to avoid zombies) #416
Workaround when tiny is not PID 1 (to avoid zombies) #416


Former-commit-id: 1e2cc19b1b8e28a3f25291ac8a7c5590b0a11477
kermitt2/grobid,kermitt2/grobid,kermitt2/grobid,kermitt2/grobid,kermitt2/grobid,kermitt2/grobid