Aleksander Machniak
2013-07-09 95a18fa549c9576b7035d27ef1712c5dfd01422d
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();
    }
}
?>