Adrian Bunk : server: Use waitpid() instead of wait4().