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();
 }