VACUUM after deleting SQLite data (#538)

This commit is contained in:
Reilly Wood 2023-02-14 11:12:00 -08:00 committed by GitHub
parent 572a391211
commit 03fdb00d3e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -141,6 +141,12 @@ impl History for SqliteBackedHistory {
.execute("delete from history", params![])
.map_err(map_sqlite_err)?;
// VACUUM to ensure that sensitive data is completely erased
// instead of being marked as available for reuse
self.db
.execute("VACUUM", params![])
.map_err(map_sqlite_err)?;
Ok(())
}