diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/greeneye/record.py')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/greeneye/record.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/risc-v-gsp-rm-vm/greeneye/record.py b/debug/risc-v-gsp-rm-vm/greeneye/record.py index bf70e58..0b025b5 100644 --- a/debug/risc-v-gsp-rm-vm/greeneye/record.py +++ b/debug/risc-v-gsp-rm-vm/greeneye/record.py @@ -40,7 +40,7 @@ class Recorder: self.meta = dict(meta or {}) self.meta.update({"format": FORMAT, "name": name, "created": time.time(), "greeneye": _version()}) self._events_path = os.path.join(self.dir, "events.jsonl") - self._fh = open(self._events_path, "w", encoding="utf-8") + self._fh = open(self._events_path, "w", encoding="utf-8", buffering=1) self._t0 = time.monotonic() self._counts: dict[str, int] = {} self._snapshots: list[dict] = [] |