omit "shared lock" error

pull/218/head
Matthew Butterick 5 years ago
parent a05f74c595
commit ab6691ea86

@ -121,6 +121,7 @@
(λ (str) (λ (str)
(match str (match str
;; concurrency-related error that has no larger consequence ;; concurrency-related error that has no larger consequence
["cache attempt failed: could not acquire exclusive lock" (void)] [(or "cache attempt failed: could not acquire exclusive lock"
"cache attempt failed: could not acquire shared lock") (void)]
[_ (log-pollen-error str)]))) [_ (log-pollen-error str)])))
(deserialize (file->value dest-file))) (deserialize (file->value dest-file)))

@ -1 +1 @@
1573157162 1573164977

Loading…
Cancel
Save