def readOptionFromPlugin(self, 
                             category_name, plugin_name, option_name):
        """
        To be called from a plugin object, read a given option in
        the name of a given plugin.
        """
        section_name = "%s Plugin: %s" % (category_name,plugin_name)
        return self.config_parser.get(section_name,option_name)
dataset/ETHPy150Open datamachine/telex/telex/plugin/ConfigurablePluginManager.py/ConfigurablePluginManager.readOptionFromPlugin/original