commit | 6c1079a922a4d96d6dca101e1a7d68a93f5b8c7c | [log] [tgz] |
---|---|---|
author | Adam Kocoloski <adam@cloudant.com> | Thu Jun 17 10:18:29 2010 -0400 |
committer | Adam Kocoloski <adam@cloudant.com> | Thu Jun 17 10:18:55 2010 -0400 |
tree | be250bf966189d165e8a5c7c962d318ac2a2e358 | |
parent | a3191c5438440dced103c4c9677e8859b71121dc [diff] |
demonitor before killing the worker
diff --git a/src/rexi_server.erl b/src/rexi_server.erl index f45ca4f..127e088 100644 --- a/src/rexi_server.erl +++ b/src/rexi_server.erl
@@ -27,6 +27,7 @@ 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)}}.