From ab6691ea861311e523f5aa5ed123baef8bcce143 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 7 Nov 2019 14:16:17 -0800 Subject: [PATCH] omit "shared lock" error --- pollen/private/cache-utils.rkt | 3 ++- pollen/private/ts.rktd | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/pollen/private/cache-utils.rkt b/pollen/private/cache-utils.rkt index d48fcf8..eb1586e 100644 --- a/pollen/private/cache-utils.rkt +++ b/pollen/private/cache-utils.rkt @@ -121,6 +121,7 @@ (λ (str) (match str ;; 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)]))) (deserialize (file->value dest-file))) \ No newline at end of file diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index adb5b20..02319f9 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1573157162 +1573164977