From 2ae652d150c451ec921eb08821a3f8d158297433 Mon Sep 17 00:00:00 2001 From: Curly Bryce Date: Wed, 3 Jul 2024 16:01:18 -0600 Subject: delete users --- src/uid.rs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/uid.rs') diff --git a/src/uid.rs b/src/uid.rs index fed0af0..886b9c8 100644 --- a/src/uid.rs +++ b/src/uid.rs @@ -51,6 +51,10 @@ impl Generator { } } + pub fn delete_uid(&mut self, u: UID) { + self.used_uids = self.used_uids.clone().into_iter().filter(|old| old != &u).collect(); + } + pub fn new_uid(&mut self) -> Result { let mut count = 0; loop { -- cgit v1.2.3