Thomas Bruederli
2014-08-19 fc52af24f1418d6590a2d37a0d8cc31b123e38f6
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();
    }
}
?>