# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1343434643 -3600
# Node ID e68d1b85ee3a9505e5ef835a69599044e3935172
# Parent  d25e1b9332cc6d1e64c231cc0d76e3487b0c925c
mod_admin_telnet: Use module:get_option() instead of configmanager directly

diff -r d25e1b9332cc -r e68d1b85ee3a plugins/mod_admin_telnet.lua
--- a/plugins/mod_admin_telnet.lua	Sat Jul 28 01:14:31 2012 +0100
+++ b/plugins/mod_admin_telnet.lua	Sat Jul 28 01:17:23 2012 +0100
@@ -957,7 +957,7 @@
 -------------
 
 function printbanner(session)
-	local option = config.get("*", "core", "console_banner");
+	local option = module:get_option("console_banner");
 if option == nil or option == "full" or option == "graphic" then
 session.print [[
                    ____                \   /     _