equal
deleted
inserted
replaced
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 |