aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--admin.php3
1 files changed, 2 insertions, 1 deletions
diff --git a/admin.php b/admin.php
index 18e0b31ad..a47280a9b 100644
--- a/admin.php
+++ b/admin.php
@@ -72,7 +72,8 @@ if (isset($_GET['change_theme']))
// | Synchronize user informations |
// +-----------------------------------------------------------------------+
-if (mt_rand(0,9)==0)
+// sync_user() is only useful when external authentication is activated
+if ($conf['external_authentification'])
{
sync_users();
}