webserver.php
changeset 67 c4aefad02ce4
parent 64 ee64bb096f56
child 68 32f6e2ee15ab
--- a/webserver.php	Tue Dec 23 20:37:36 2008 -0500
+++ b/webserver.php	Sun Jan 04 22:56:57 2009 -0500
@@ -351,6 +351,10 @@
   
   function __destruct()
   {
+    if ( !is_object($this->threader) )
+    {
+      return false;
+    }
     if ( !$this->threader->is_child() && $this->socket_initted )
     {
       if ( function_exists('status') )