criteria: clear maps at shutdown

2025-07-18 23:42:16 +02:00 · 2025-07-18 23:42:16 +02:00 · e28b1b5646
commit e28b1b5646
parent d1b84ee0a2
5 changed files with 51 additions and 0 deletions
--- a/src/criteria/crit_graph/crit_upstream.rs
+++ b/src/criteria/crit_graph/crit_upstream.rs
@ -125,6 +125,10 @@ where
        }
    }

+    pub fn clear(&self) {
+        self.nodes.clear()
+    }
+
    pub fn update_matched(
        &self,
        target: &Target,