main(): Put the parents pid before the child's in the pid file, so the
parent is killed first. (Otherwise, sometimes - often - a new child was being spawned before the parent was clobbered, and the zeo server survived...)
Showing
Please register or sign in to comment