core/sessionmanager.lua

changeset 2750
4a6f32e6a8e5
parent 2747
168104895051
child 2751
1d7746c3a8c6
equal deleted inserted replaced
2749:8dc5f3651501 2750:4a6f32e6a8e5
66 return session; 66 return session;
67 end 67 end
68 68
69 local resting_session = { -- Resting, not dead 69 local resting_session = { -- Resting, not dead
70 destroyed = true; 70 destroyed = true;
71 close = function (session)
72 session.log("debug", "Attempt to close already-closed session");
73 end;
71 }; resting_session.__index = resting_session; 74 }; resting_session.__index = resting_session;
72 75
73 function retire_session(session) 76 function retire_session(session)
74 local log = session.log or log; 77 local log = session.log or log;
75 for k in pairs(session) do 78 for k in pairs(session) do

mercurial