Sönke Ludwig 4724f14145 Avoid interference with other users of waitpid. ... Instead of using waitpid(-1), explicitly waits on all known processes. This is inefficient for large numbers of child processes, but seems to be the only way to ensure to not interfere with other code that uses waitpid().		2019-08-23 09:35:12 +02:00
..
eventcore	Avoid interference with other users of waitpid.	2019-08-23 09:35:12 +02:00