aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--core/sessionmanager.lua3
1 files changed, 3 insertions, 0 deletions
diff --git a/core/sessionmanager.lua b/core/sessionmanager.lua
index b65e866f..5c40f756 100644
--- a/core/sessionmanager.lua
+++ b/core/sessionmanager.lua
@@ -68,6 +68,9 @@ end
local resting_session = { -- Resting, not dead
destroyed = true;
+ close = function (session)
+ session.log("debug", "Attempt to close already-closed session");
+ end;
}; resting_session.__index = resting_session;
function retire_session(session)