Thomas B.
2013-10-07 a3b85d7b8560cdc1057fcaffa3acbd247b4b5b7a
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();
    }
}
?>