diff --git a/lib/SimpleSAML/Module.php b/lib/SimpleSAML/Module.php index fa8e55072a50b71c504b1d988be70e68ab57c157..ef622231928f0f06fd34f642633748108f529175 100644 --- a/lib/SimpleSAML/Module.php +++ b/lib/SimpleSAML/Module.php @@ -422,6 +422,12 @@ class Module if (!class_exists($className)) { throw new \Exception("Could not resolve '$id': no class named '$className'."); } + } elseif (!in_array($tmp[0], self::getModules())) { + // Module not installed + throw new \Exception('No module named \'' . $tmp[0]. '\' has been installed.'); + } elseif (!self::isModuleEnabled($tmp[0])) { + // Module installed, but not enabled + throw new \Exception('The module \'' . $tmp[0]. '\' is not enabled.'); } else { // should be a module // make sure empty types are handled correctly