equal
deleted
inserted
replaced
101 function session.data(data) log("debug", "Discarding data received from resting session: %s", tostring(data)); end |
101 function session.data(data) log("debug", "Discarding data received from resting session: %s", tostring(data)); end |
102 return setmetatable(session, resting_session); |
102 return setmetatable(session, resting_session); |
103 end |
103 end |
104 |
104 |
105 function destroy_session(session, err) |
105 function destroy_session(session, err) |
106 (session.log or log)("info", "Destroying session for %s (%s@%s)", session.full_jid or "(unknown)", session.username or "(unknown)", session.host or "(unknown)"); |
106 (session.log or log)("info", "Destroying session for %s (%s@%s)%s", session.full_jid or "(unknown)", session.username or "(unknown)", session.host or "(unknown)", err and (": "..err) or ""); |
107 if session.destroyed then return; end |
107 if session.destroyed then return; end |
108 |
108 |
109 -- Remove session/resource from user's session list |
109 -- Remove session/resource from user's session list |
110 if session.full_jid then |
110 if session.full_jid then |
111 local host_session = hosts[session.host]; |
111 local host_session = hosts[session.host]; |