# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1268535491 0
# Node ID 4a6f32e6a8e558906b8adb4ea56b0407347951c9
# Parent  8dc5f365150149ae7b3952113d42e7c7ddf075b0
sessionmanager: Add close method to resting sessions

diff -r 8dc5f3651501 -r 4a6f32e6a8e5 core/sessionmanager.lua
--- 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)