diff options
| author | Evgeny Khramtsov <ekhramtsov@process-one.net> | 2019-07-30 23:17:10 +0300 |
|---|---|---|
| committer | Evgeny Khramtsov <ekhramtsov@process-one.net> | 2019-07-30 23:17:10 +0300 |
| commit | 651d69fb9804a8563718a12d36441ac6d266328f (patch) | |
| tree | 9e5184fd56f6acdc410ab2d51e3cbfcb98acad6d /src/mod_stream_mgmt.erl | |
| parent | Improve pattern matching (diff) | |
Also catch 'shutdown' exit reason
Diffstat (limited to 'src/mod_stream_mgmt.erl')
| -rw-r--r-- | src/mod_stream_mgmt.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mod_stream_mgmt.erl b/src/mod_stream_mgmt.erl index 4fd778899..ced5424a8 100644 --- a/src/mod_stream_mgmt.erl +++ b/src/mod_stream_mgmt.erl @@ -664,6 +664,8 @@ inherit_session_state(#{user := U, server := S, {error, session_is_dead}; exit:{normal, _} -> {error, session_has_exited}; + exit:{shutdown, _} -> + {error, session_has_exited}; exit:{killed, _} -> {error, session_was_killed}; exit:{timeout, _} -> |