Merge pull request #11 from noordstar/settings-patch

Update syncTime to be at least 1
pull/14/head
BramvdnHeuvel 2024-01-12 17:12:24 +01:00 committed by GitHub
commit cecf9c1f77
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -68,4 +68,4 @@ getSyncTime (Vault vault) =
-} -}
setSyncTime : Int -> Vault -> Vault setSyncTime : Int -> Vault -> Vault
setSyncTime time (Vault vault) = setSyncTime time (Vault vault) =
Vault <| Envelope.mapSettings (\s -> { s | syncTime = time }) vault Vault <| Envelope.mapSettings (\s -> { s | syncTime = max 1 time }) vault