diff options
author | HimbeerserverDE <himbeerserverde@gmail.com> | 2023-05-19 17:29:48 +0200 |
---|---|---|
committer | HimbeerserverDE <himbeerserverde@gmail.com> | 2023-05-19 17:29:48 +0200 |
commit | 6f96de7370bfe742b30a4bdaa48b0d393caf0421 (patch) | |
tree | 8a5c82986c364e87967bb20589f5dbd3725997da | |
parent | 2407e77bd17628e3beb13a35f69eb5aaa99cc849 (diff) |
reload leases before garbage collecting them
-rw-r--r-- | src/lease.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lease.rs b/src/lease.rs index 8ff017a..d62cf74 100644 --- a/src/lease.rs +++ b/src/lease.rs @@ -302,6 +302,8 @@ impl LeaseFileManager { } fn garbage_collect(&mut self) -> Result<()> { + self.load()?; + self.leases = self .leases .clone() |