author | Matthew Wild <mwild1@gmail.com> |
Sun, 14 Mar 2010 02:58:11 +0000 | |
changeset 2750 | 4a6f32e6a8e5 |
parent 2749 | 8dc5f3651501 |
child 2751 | 1d7746c3a8c6 |
--- a/core/sessionmanager.lua Sun Mar 14 02:57:22 2010 +0000 +++ b/core/sessionmanager.lua Sun Mar 14 02:58:11 2010 +0000 @@ -68,6 +68,9 @@ 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)