The unified diff between revisions [fa30da70..] and [acdaae69..] is displayed below. It can also be downloaded as a raw diff.

This diff has been restricted to the following files: 'database.ml'

#
#
# patch "database.ml"
#  from [fe59c696f421de6401dd9a5a107126c898d92278]
#    to [b3cb0ff66b759ae0b5b4d2bbebc19c1db059fdcd]
#
============================================================
--- database.ml	fe59c696f421de6401dd9a5a107126c898d92278
+++ database.ml	b3cb0ff66b759ae0b5b4d2bbebc19c1db059fdcd
@@ -466,7 +466,10 @@ let sqlite_try f db =

 let sqlite_try f db =
   try f db.db
-  with Sqlite3.Error (_, msg) ->
+  with
+  | Sqlite3.Error (Sqlite3.LOCKED, _) as exn ->
+      raise exn
+  | Sqlite3.Error (_, msg) ->
     Viz_types.errorf "Error processing database %s:\n%s" db.filename msg