# # # patch "database.ml" # from [fe59c696f421de6401dd9a5a107126c898d92278] # to [b3cb0ff66b759ae0b5b4d2bbebc19c1db059fdcd] # ============================================================ --- database.ml fe59c696f421de6401dd9a5a107126c898d92278 +++ database.ml b3cb0ff66b759ae0b5b4d2bbebc19c1db059fdcd @@ -466,7 +466,10 @@ 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