From dd5c5c7a4ad066df80f634f0739f156762c18b18 Mon Sep 17 00:00:00 2001 From: Jason Volk Date: Mon, 20 Oct 2025 20:45:38 +0000 Subject: [PATCH] Notify watchers on delete operations in addition to inserts. --- src/database/map/remove.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/database/map/remove.rs b/src/database/map/remove.rs index b75b5df5..4e38aa01 100644 --- a/src/database/map/remove.rs +++ b/src/database/map/remove.rs @@ -20,4 +20,6 @@ where if !self.engine.corked() { self.engine.flush().expect("database flush error"); } + + self.notify(key.as_ref()); }