From 965a9752e0c87ac1dd0252a00f358d0c7ae84063 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 8 Jan 2012 14:02:52 -0500 Subject: [PATCH] Catch exceptions in node message handlers. --- node.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/node.ml b/node.ml index 05da942..f2e9d1b 100644 --- a/node.ml +++ b/node.ml @@ -54,7 +54,13 @@ let unbind_all n = let send name body = match lookup name with - | Some n -> n.handle_message n body; true + | Some n -> + (try n.handle_message n body + with e -> + printf "WARNING: Node <<%s>> message handler raised %s\n%!" + name + (Printexc.to_string e)); + true | None -> false let post name label body token =