log an exception if search-thread encounters a failure

2025-10-08 06:51:52 +01:00
parent 4d1b2073dc
commit 108e021fdb
3 changed files with 3 additions and 2 deletions
--- a/shell/search-thread.sml
+++ b/shell/search-thread.sml
@@ -7,6 +7,7 @@ struct
      val (buffer, dfa, time) = Mailbox.recv SearchMailbox.mailbox
      val iterator = LineGap.makeStringIterator buffer
      val searchList = SearchList.build (iterator, dfa)
+                       handle e => ExceptionLogger.log e
      val msg = InputMsg.WITH_SEARCH_LIST (searchList, time)
      val () = InputMailbox.append msg
    in