this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

More exception catching

+5 -1
+5 -1
lib/impl.ml
··· 557 557 let result = { Toplevel_api_gen.script = content_txt; mime_vals; parts=[] } in 558 558 IdlM.ErrM.return result 559 559 560 - let exec_toplevel (phrase : string) = handle_toplevel phrase 560 + let exec_toplevel (phrase : string) = 561 + try handle_toplevel phrase with e -> 562 + Logs.info (fun m -> m "Error: %s" (Printexc.to_string e)); 563 + IdlM.ErrM.return_err 564 + (Toplevel_api_gen.InternalError (Printexc.to_string e)) 561 565 562 566 let config () = 563 567 let path =