Updated dev comments

darrenldl · May 13, 2024 · 175baf7 · 175baf7
1 parent 1dc7cfa
commit 175baf7
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/bin/search_manager.ml b/bin/search_manager.ml
@@ -33,9 +33,12 @@ let manager_fiber () =
   done
 
 let search_fiber pool =
-  (* This fiber is run in a background domain to allow UI fiber in main domain
-     to continue running after key presses that trigger searches or search
-     cancellations.
+  (* This fiber runs in a background domain to allow the UI code in the main
+     domain to immediately continue running after key presses that trigger
+     searches or search cancellations.
+
+     This is mainly to remove the need to structure document store operations
+     to always yield frequently.
   *)
   while true do
     let (s, document_store, document_store_var) = Eio.Stream.take ingress in