From 6c1079a922a4d96d6dca101e1a7d68a93f5b8c7c Mon Sep 17 00:00:00 2001 From: Adam Kocoloski Date: Thu, 17 Jun 2010 10:18:29 -0400 Subject: demonitor before killing the worker --- src/rexi_server.erl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/rexi_server.erl b/src/rexi_server.erl index f45ca4fa..127e088c 100644 --- a/src/rexi_server.erl +++ b/src/rexi_server.erl @@ -27,6 +27,7 @@ handle_cast({doit, From, MFA}, #st{workers=Workers} = St) -> handle_cast({kill, Ref}, #st{workers=Workers} = St) -> case find_worker(Ref, Workers) of {Pid, Ref, _} -> + erlang:demonitor(Ref), exit(Pid, kill); false -> ok end, {noreply, St#st{workers = remove_worker(Ref, Workers)}}. -- cgit v1.2.3