504 	end

   504 	end

   505 end

   505 end

   506 

   506 

   507 local resting_session = { -- Resting, not dead

   507 local resting_session = { -- Resting, not dead

   508 		destroyed = true;

   508 		destroyed = true;

   509 		open_stream = function (session)

   510 		open_stream = function (session)

   510 			session.log("debug", "Attempt to open stream on resting session");

   511 			session.log("debug", "Attempt to open stream on resting session");

   511 		end;

   512 		end;

   512 		close = function (session)

   513 		close = function (session)

   513 			session.log("debug", "Attempt to close already-closed session");

   514 			session.log("debug", "Attempt to close already-closed session");