> So double forking has its merits, since it is per-child rather than > per-parent. And modern OS actually do fork() rather efficiently anyway. thank you, i'll keep the double fork.