feat(profiles): name the copy of a stopped catch-up, one copy per profile, startup error cleared (#395) #436

Merged
maximus merged 8 commits from issue-395-catch-up-followups into main 2026-10-14 00:28:51 +00:00
Showing only changes of commit fbecfffa6e - Show all commits

View file

@ -485,8 +485,8 @@ pub fn backup_to(conn: &Connection, dir: &Path, stem: &str, first_pending: i64)
conn.execute("VACUUM INTO ?1", [tmp]) conn.execute("VACUUM INTO ?1", [tmp])
.map_err(|e| format!("backup_failed: {}", e))?; .map_err(|e| format!("backup_failed: {}", e))?;
// VACUUM INTO does not sync its output; the rename must not publish a // VACUUM INTO does not sync its output; the rename must not publish a
// copy a power cut could still truncate (nor replace a good one with it). Write access: Windows refuses // copy a power cut could still truncate, nor replace a good one with it.
// to flush a file opened read-only. // Write access: Windows refuses to flush a file opened read-only.
fs::OpenOptions::new() fs::OpenOptions::new()
.write(true) .write(true)
.open(&tmp_path) .open(&tmp_path)