# HG changeset patch
# User Paul Aurich <paul@darkrain42.org>
# Date 1249057145 -3600
# Node ID 099364ec1ab2ed5b4e3ef9233443f08cc1052403
# Parent  1ca7a247d04f43e779c2b5d3703231bb34be3e99
mod_console: EOT (Ctrl-D) closes the connection.

diff -r 1ca7a247d04f -r 099364ec1ab2 plugins/mod_console.lua
--- a/plugins/mod_console.lua	Wed Jul 29 18:11:37 2009 +0100
+++ b/plugins/mod_console.lua	Fri Jul 31 17:19:05 2009 +0100
@@ -70,6 +70,9 @@
 			if data:match("^>") then
 				data = data:gsub("^>", "");
 				useglobalenv = true;
+			elseif data == "\004" then
+				commands["bye"](session, data);
+				return;
 			else
 				local command = data:lower();
 				command = data:match("^%w+") or data:match("%p");