equal
deleted
inserted
replaced
81 function session.data(data) log("debug", "Discarding data received from resting session: %s", tostring(data)); end |
81 function session.data(data) log("debug", "Discarding data received from resting session: %s", tostring(data)); end |
82 return setmetatable(session, resting_session); |
82 return setmetatable(session, resting_session); |
83 end |
83 end |
84 |
84 |
85 function destroy_session(session, err) |
85 function destroy_session(session, err) |
86 (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 ""); |
86 (session.log or log)("debug", "Destroying session for %s (%s@%s)%s", session.full_jid or "(unknown)", session.username or "(unknown)", session.host or "(unknown)", err and (": "..err) or ""); |
87 if session.destroyed then return; end |
87 if session.destroyed then return; end |
88 |
88 |
89 -- Remove session/resource from user's session list |
89 -- Remove session/resource from user's session list |
90 if session.full_jid then |
90 if session.full_jid then |
91 local host_session = hosts[session.host]; |
91 local host_session = hosts[session.host]; |