avoid silent error in timer

imandra-ai · Feb 15, 2024 · 30b7d49 · 30b7d49
1 parent 2299d7f
commit 30b7d49
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/unix/simple_timer.ml b/src/unix/simple_timer.ml
@@ -109,6 +109,9 @@ let run_every_s_ (self : state) period f : unit =
       (* schedule next iteration *)
       run_after_s_ self period loop
     | exception Stop_timer -> ()
+    | exception e ->
+      Printf.eprintf "exception in timer action: %s\n%!" (Printexc.to_string e);
+      run_after_s_ self period loop
   in
   run_after_s_ self period loop