# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1249651669 -18000
# Node ID 8ce5da8d24a0277539defead66f795922f86566a
# Parent  002af1bb797a6a43799371afad5cffd0c476e0ba
mod_version: Use the module API to read configuration options instead of configmanager

diff -r 002af1bb797a -r 8ce5da8d24a0 plugins/mod_version.lua
--- a/plugins/mod_version.lua	Sat Aug 08 22:09:59 2009 +0100
+++ b/plugins/mod_version.lua	Fri Aug 07 18:27:49 2009 +0500
@@ -16,7 +16,7 @@
 
 local version = "the best operating system ever!";
 
-if not require "core.configmanager".get("*", "core", "hide_os_type") then
+if not module:get_option("hide_os_type") then
 	if os.getenv("WINDIR") then
 		version = "Windows";
 	else