diff options
author | Adam Kocoloski <adam@cloudant.com> | 2010-06-17 10:18:29 -0400 |
---|---|---|
committer | Adam Kocoloski <adam@cloudant.com> | 2010-06-17 10:18:55 -0400 |
commit | 6c1079a922a4d96d6dca101e1a7d68a93f5b8c7c (patch) | |
tree | be250bf966189d165e8a5c7c962d318ac2a2e358 | |
parent | a3191c5438440dced103c4c9677e8859b71121dc (diff) |
demonitor before killing the worker
-rw-r--r-- | src/rexi_server.erl | 1 |
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)}}. |