Added missing document store restoration step in recomputation

darrenldl · Jul 31, 2024 · b9a6368 · b9a6368
1 parent 712ce28
commit b9a6368
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/bin/docfd.ml b/bin/docfd.ml
@@ -631,10 +631,13 @@ let run
         | Ui_base.Recompute_document_src -> (
             let document_src = compute_document_src () in
             let old_document_store = Lwd.peek Ui_base.Vars.document_store in
+            let file_path_filter_glob = Document_store.file_path_filter_glob old_document_store in
+            let file_path_filter_re = Document_store.file_path_filter_re old_document_store in
             let search_exp_text = Document_store.search_exp_text old_document_store in
             let search_exp = Document_store.search_exp old_document_store in
             let document_store =
               document_store_of_document_src ~env pool document_src
+              |> Document_store.update_file_path_filter_glob file_path_filter_glob file_path_filter_re
               |> Document_store.update_search_exp pool (Stop_signal.make ()) search_exp_text search_exp
             in
             Document_store_manager.submit_update_req document_store Ui_base.Vars.document_store;

diff --git a/bin/document_store.ml b/bin/document_store.ml
@@ -28,6 +28,10 @@ let empty : t =
     search_results = String_map.empty;
   }
 
+let file_path_filter_glob (t : t) = t.file_path_filter_glob
+
+let file_path_filter_re (t : t) = t.file_path_filter_re
+
 let search_exp (t : t) = t.search_exp
 
 let search_exp_text (t : t) = t.search_exp_text

diff --git a/bin/document_store.mli b/bin/document_store.mli
@@ -20,6 +20,10 @@ val update_search_exp :
   t ->
   t
 
+val file_path_filter_glob : t -> string
+
+val file_path_filter_re : t -> Re.re
+
 val search_exp : t -> Search_exp.t
 
 val search_exp_text : t -> string