summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdam Kocoloski <adam@cloudant.com>2010-06-17 10:18:29 -0400
committerAdam Kocoloski <adam@cloudant.com>2010-06-17 10:18:55 -0400
commit6c1079a922a4d96d6dca101e1a7d68a93f5b8c7c (patch)
treebe250bf966189d165e8a5c7c962d318ac2a2e358
parenta3191c5438440dced103c4c9677e8859b71121dc (diff)
demonitor before killing the worker
-rw-r--r--src/rexi_server.erl1
1 files changed, 1 insertions, 0 deletions
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)}}.