# HG changeset patch
# User Dan
# Date 1231127817 18000
# Node ID c4aefad02ce4815f9aed371fc7466aa4debe7008
# Parent  f30ffbf92cdd9dfc834c72370c1c09fae4e0fbd3
WebServer now does not attempt to destruct if threader is not up

diff -r f30ffbf92cdd -r c4aefad02ce4 webserver.php
--- 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') )