changeset 32 | 86140ed9087d |
parent 16 | 23d4cf2f183b |
child 33 | 3b4aef1efff6 |
--- a/functions.php Tue Aug 05 13:17:57 2008 -0400 +++ b/functions.php Fri Aug 15 23:22:30 2008 -0400 @@ -134,6 +134,12 @@ ); $playlist[] = $item; } + // if we're a child process, signal the parent to update + if ( defined('HTTPD_WS_CHILD') ) + { + global $httpd; + posix_kill($httpd->parent_pid, SIGUSR1); + } } /**