diff options
| -rw-r--r-- | src/gm.erl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gm.erl b/src/gm.erl index cabbb9420b..61a8f3eef7 100644 --- a/src/gm.erl +++ b/src/gm.erl @@ -713,6 +713,10 @@ handle_info(flush, State) -> handle_info(timeout, State) -> noreply(flush_broadcast_buffer(State)); +handle_info({'DOWN', _MRef, process, _Pid, _Reason}, + State = #state { shutting_down = + {true, {shutdown, ring_shutdown}} }) -> + noreply(State); handle_info({'DOWN', MRef, process, _Pid, Reason}, State = #state { self = Self, left = Left, |