1 files changed, 2 insertions, 1 deletions
diff --git a/admin.php b/admin.php
index 43a0d37e0..f79540146 100644
--- a/admin.php
+++ b/admin.php
@@ -65,7 +65,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();
 }