# HG changeset patch # User Dan # Date 1219555580 14400 # Node ID 70ef461bbffac3d143c5c7305dcf7d12ff144a00 # Parent 8040903d25debf90c665715f2bdbce4d7bff973f Children are no longer noisy when dying (don't I sound perverted) diff -r 8040903d25de -r 70ef461bbffa greyhound.php --- a/greyhound.php Fri Aug 15 23:59:15 2008 -0400 +++ b/greyhound.php Sun Aug 24 01:26:20 2008 -0400 @@ -84,7 +84,9 @@ function sigterm($signal) { global $httpd; - status("Caught SIGTERM, cleaning up."); + if ( !defined('HTTPD_WS_CHILD') ) + status("Caught SIGTERM, cleaning up."); + exit(0); }