24
1
mirror of https://github.com/processone/ejabberd.git synced 2024-06-02 21:17:12 +02:00

Make dialyzer happy

This commit is contained in:
Paweł Chmielowski 2022-02-02 18:33:45 +01:00
parent 9542cca0db
commit 11c725018b

View File

@ -289,8 +289,10 @@ process_terminated(#{sid := SID, jid := JID, user := U, server := S, resource :=
Reason) -> Reason) ->
Status = format_reason(State, Reason), Status = format_reason(State, Reason),
?INFO_MSG("(~ts) Closing c2s session for ~ts: ~ts", ?INFO_MSG("(~ts) Closing c2s session for ~ts: ~ts",
[case State of #{socket := Socket} -> xmpp_socket:pp(Socket); _ -> <<"unknown">> end, [case maps:find(socket, State) of
jid:encode(JID), Status]), {ok, Socket} -> xmpp_socket:pp(Socket);
_ -> <<"unknown">>
end, jid:encode(JID), Status]),
Pres = #presence{type = unavailable, Pres = #presence{type = unavailable,
from = JID, from = JID,
to = jid:remove_resource(JID)}, to = jid:remove_resource(JID)},
@ -307,8 +309,10 @@ process_terminated(#{sid := SID, jid := JID, user := U, server := S, resource :=
State1; State1;
process_terminated(#{stop_reason := {tls, _}} = State, Reason) -> process_terminated(#{stop_reason := {tls, _}} = State, Reason) ->
?WARNING_MSG("(~ts) Failed to secure c2s connection: ~ts", ?WARNING_MSG("(~ts) Failed to secure c2s connection: ~ts",
[case State of #{socket := Socket} -> xmpp_socket:pp(Socket); _ -> <<"unknown">> end, [case maps:find(socket, State) of
format_reason(State, Reason)]), {ok, Socket} -> xmpp_socket:pp(Socket);
_ -> <<"unknown">>
end, format_reason(State, Reason)]),
State; State;
process_terminated(State, _Reason) -> process_terminated(State, _Reason) ->
State. State.