# HG changeset patch # User Marco Cirillo # Date 1326808429 0 # Node ID fe85e18a06cb33689c88f7e75111a760fb40f331 # Parent 39a612eb443123b34847a365ebc1a43e6e4e6674 mod_server_status: revert to use module:get_option_boolean diff -r 39a612eb4431 -r fe85e18a06cb mod_server_status/mod_server_status.lua --- a/mod_server_status/mod_server_status.lua Tue Jan 17 13:52:48 2012 +0000 +++ b/mod_server_status/mod_server_status.lua Tue Jan 17 13:53:49 2012 +0000 @@ -138,7 +138,7 @@ end end - local event = require "core.configmanager".get("*", "core", "use_libevent"); + local event = module:get_option_boolen("use_libevent", false) -- if there're no handlers left clean the socket, not sure if it works with server_select if not event then