Improve some options description

Aleksander Machniak

2013-05-20 bec9690ff519d33d7ef3f0c8f8f8cf72b4ef059d

 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();
    }
}
?>