Andy Wermke
2013-04-04 92cd7f34b07e86062f2c024039e3309768b48ce6
plugins/debug_logger/debug_logger.php
@@ -142,8 +142,9 @@
        return $args;
    }
    function __destruct(){
                $this->runlog->end();
    function __destruct()
    {
        if ($this->runlog)
            $this->runlog->end();
    }
}
?>