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

#
#
# patch "database.ml"
#  from [fe59c696f421de6401dd9a5a107126c898d92278]
#    to [b3cb0ff66b759ae0b5b4d2bbebc19c1db059fdcd]
#
# patch "view.ml"
#  from [744a670f23e96b7cc95638ce3b3eed208a40460d]
#    to [6f040cce567783b41885eeba11efe0f3f68616f6]
#
============================================================
--- 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


============================================================
--- view.ml	744a670f23e96b7cc95638ce3b3eed208a40460d
+++ view.ml	6f040cce567783b41885eeba11efe0f3f68616f6
@@ -1081,6 +1081,7 @@ module Canvas = struct
     c.branch_items <- None ;
     c.text_items <- [] ;
     c.selected_marker#hide () ;
+    c.selected_node <- None ;
     KeyNav.clear c.keynav ;
     may
       (fun id ->