aboutsummaryrefslogtreecommitdiff
path: root/src/uid.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/uid.rs')
-rw-r--r--src/uid.rs4
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 {