def get_filename(self, fileno):
        try:
            return self._filemap[fileno]
        except __HOLE__:
            raise ValueError, "unknown fileno"
dataset/ETHPy150Open deanhiller/databus/webapp/play1.3.x/python/Lib/hotshot/log.py/LogReader.get_filename