diff options
author | Andrew Dolgov <[email protected]> | 2020-09-18 15:48:22 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2020-09-18 15:48:22 +0300 |
commit | 03a337a660a40263db0f3b5b5123cfa04f5c7505 (patch) | |
tree | 18bc4241a2784217803f78f43fe7b87727c6c8bb /include/functions.php | |
parent | 3588d5186ef7321fa573adbb62f42b05d7a138be (diff) |
add basic safe mode which doesn't load any user plugins
Diffstat (limited to 'include/functions.php')
-rw-r--r-- | include/functions.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/functions.php b/include/functions.php index 4031afa6e..0a02ff0d5 100644 --- a/include/functions.php +++ b/include/functions.php @@ -714,7 +714,7 @@ if (!$pluginhost) $pluginhost = PluginHost::getInstance(); - if ($owner_uid && SCHEMA_VERSION >= 100) { + if ($owner_uid && SCHEMA_VERSION >= 100 && !$_SESSION["safe_mode"]) { $plugins = get_pref("_ENABLED_PLUGINS", $owner_uid); $pluginhost->load($plugins, PluginHost::KIND_USER, $owner_uid); |