diff options
| author | bptato <nincsnevem662@gmail.com> | 2025-03-06 18:20:48 +0100 |
|---|---|---|
| committer | bptato <nincsnevem662@gmail.com> | 2025-03-06 18:38:55 +0100 |
| commit | 2fa7a502a825523bb9ca51eb9f6ae0b95d10cec4 (patch) | |
| tree | 07766910435e8a552b983fe50b56b5f68e82fa6f /src/local | |
| parent | dd22a568b7de36193e0e2b71ae623f5bd75eb535 (diff) | |
| download | chawan-2fa7a502a825523bb9ca51eb9f6ae0b95d10cec4.tar.gz | |
history, cookie: fsync before rename
In theory, it is possible for rename to succeed before the buffers are flushed, and then we lose data.
Diffstat (limited to 'src/local')
| -rw-r--r-- | src/local/pager.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/local/pager.nim b/src/local/pager.nim index b623a951..4139e337 100644 --- a/src/local/pager.nim +++ b/src/local/pager.nim @@ -2041,7 +2041,7 @@ proc getHistoryURL(pager: Pager): URL {.jsfunc.} = pager.loader.passFd(url.pathname, pins.fd) pins.sclose() let hist = pager.lineHist[lmLocation] - if not hist.write(pouts, reverse = true): + if not hist.write(pouts, sync = false, reverse = true): pager.alert("failed to write history") return url |