equal
deleted
inserted
replaced
433 session.hibernating = os_time(); |
433 session.hibernating = os_time(); |
434 session.hibernating_watchdog = watchdog.new(resume_timeout, function() |
434 session.hibernating_watchdog = watchdog.new(resume_timeout, function() |
435 session.log("debug", "mod_smacks hibernation timeout reached..."); |
435 session.log("debug", "mod_smacks hibernation timeout reached..."); |
436 if session.destroyed then |
436 if session.destroyed then |
437 session.log("debug", "The session has already been destroyed"); |
437 session.log("debug", "The session has already been destroyed"); |
|
438 return |
|
439 elseif not session.resumption_token then |
|
440 -- This should normally not happen, the watchdog should be canceled from session:close() |
|
441 session.log("debug", "The session has already been resumed or replaced"); |
438 return |
442 return |
439 end |
443 end |
440 |
444 |
441 session.log("debug", "Destroying session for hibernating too long"); |
445 session.log("debug", "Destroying session for hibernating too long"); |
442 session_registry[jid.join(session.username, session.host, session.resumption_token)] = nil; |
446 session_registry[jid.join(session.username, session.host, session.resumption_token)] = nil; |