def options(self, section):
        """Return a list of option names for the given section name."""
        try:
            opts = self._sections[section].copy()
        except __HOLE__:
            raise NoSectionError(section)
        opts.update(self._defaults)
        if '__name__' in opts:
            del opts['__name__']
        return opts.keys()
dataset/ETHPy150Open deanhiller/databus/webapp/play1.3.x/python/Lib/ConfigParser.py/RawConfigParser.options