From a05f74c595c9080bb19a003900153c61e3ffd68d Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Thu, 7 Nov 2019 12:06:02 -0800
Subject: [PATCH] omit "exclusive lock" error

---
 pollen/private/cache-utils.rkt | 9 +++++++--
 pollen/private/ts.rktd         | 2 +-
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/pollen/private/cache-utils.rkt b/pollen/private/cache-utils.rkt
index f210fa4..d48fcf8 100644
--- a/pollen/private/cache-utils.rkt
+++ b/pollen/private/cache-utils.rkt
@@ -8,7 +8,6 @@
          racket/path
          racket/list
          racket/match
-         racket/string
          racket/serialize
          sugar/coerce
          sugar/test
@@ -117,5 +116,11 @@
               private-cache-dir
               generate-dest-file
               #:notify-cache-use notify-proc
-              #:max-cache-size (setup:compile-cache-max-size))
+              #:max-cache-size (setup:compile-cache-max-size)
+              #:log-error-string
+              (λ (str)
+                (match str
+                  ;; concurrency-related error that has no larger consequence
+                  ["cache attempt failed: could not acquire exclusive 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 1219cf5..adb5b20 100644
--- a/pollen/private/ts.rktd
+++ b/pollen/private/ts.rktd
@@ -1 +1 @@
-1573157155
+1573157162