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