diff options
Diffstat (limited to 'src')
| -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)}}. |