functions.php
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);
+  }
 }
 
 /**