def get_binfile()

in gym_recording/playback.py [0:0]


    def get_binfile(self, fn):
        mm = self.binfiles.get(fn, None)
        if mm: return mm
        f = open(os.path.join(self.directory, fn), 'rb')
        mm = mmap.mmap(f.fileno(), 0, access=mmap.ACCESS_READ)
        self.binfiles[fn] = mm
        return mm