def getPlugin(plugin_ident): if PluginsBuilder.__BUILDER__ == None: builder = PluginsBuilder() builder.parse( get_as_resource_handler_or_string(GLOBALS.PLUGINS_FILE)) PluginsBuilder.__BUILDER__ = builder return PluginsBuilder.__BUILDER__.getHandler().getPlugin(plugin_ident)
def getPlugin(plugin_ident): if PluginsBuilder.__BUILDER__ == None: builder = PluginsBuilder() builder.parse(get_as_resource_handler_or_string( GLOBALS.PLUGINS_FILE)) PluginsBuilder.__BUILDER__ = builder return PluginsBuilder.__BUILDER__.getHandler().getPlugin(plugin_ident)
def __createMainMenus(self): if not self.__main_menus: self.__builder = MenuBuilder() menus_resource = get_as_resource_handler_or_string(GLOBALS.MENUS_FILE) #@IgnorePep8 self.__builder.parse(menus_resource) self.__main_menus = self.__builder.getMainMenus() close_resource(menus_resource) return self.__main_menus