changeset 1645 | 8ce5da8d24a0 |
parent 1523 | 841d61be198f |
child 1646 | 21bcc7b8b4d8 |
--- 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