Thomas Bruederli
2013-03-13 bfa667ab022c3efa1b7da8bd2ffe27dcf8959c79
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();
    }
}
?>