delete users

1 files changed, 4 insertions, 0 deletions

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<UID, String> {
         let mut count = 0;
         loop {