core/moduleapi.lua
changeset 8490 91f6815de26a
parent 7985 e30b0cbed472
child 8536 66cdf5c7af85
--- a/core/moduleapi.lua	Sat Dec 23 06:17:11 2017 +0100
+++ b/core/moduleapi.lua	Wed Dec 27 00:42:57 2017 +0100
@@ -161,6 +161,9 @@
 			end
 		end);
 	end
+	if self:get_option_inherited_set("modules_disabled", {}):contains(name) then
+		self:log("warn", "Loading prerequisite mod_%s despite it being disabled", name);
+	end
 	local mod = modulemanager.get_module(self.host, name) or modulemanager.get_module("*", name);
 	if mod and mod.module.host == "*" and self.host ~= "*"
 	and modulemanager.module_has_method(mod, "add_host") then