core/sessionmanager.lua

changeset 2915
f47bd0f7e2e6
parent 2752
18d8009f06cb
child 2925
692b3c6c5bd2
equal deleted inserted replaced
2913:3d4e814cadfa 2915:f47bd0f7e2e6
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 type = "c2s_destroyed";
71 close = function (session) 72 close = function (session)
72 session.log("debug", "Attempt to close already-closed session"); 73 session.log("debug", "Attempt to close already-closed session");
73 end; 74 end;
74 }; resting_session.__index = resting_session; 75 }; resting_session.__index = resting_session;
75 76

mercurial