core/sessionmanager.lua
branch0.12
changeset 12882 0d8bf401fa73
parent 12881 f6cca7cbf3b2
child 12883 09a53ed8f4d5
--- a/core/sessionmanager.lua	Thu Jan 19 21:38:14 2023 +0100
+++ b/core/sessionmanager.lua	Thu Jan 19 21:40:09 2023 +0100
@@ -106,6 +106,7 @@
 		if host_session.events.fire_event("pre-resource-unbind", {session=session, error=err}) then
 			return;
 		end
+		session.destroyed = true; -- Past this point the session is DOOMED!
 
 		host_session.sessions[session.username].sessions[session.resource] = nil;
 		full_sessions[session.full_jid] = nil;