ping optionnel

2018-11-29 17:01:05 +01:00
parent 5a03626e45
commit 7d8c047dad
2 changed files with 5 additions and 2 deletions
@@ -126,8 +126,10 @@ foreach ($ldap_machines as $ldap_branche) {

 // Ajout des adresses IP déjà collectées dans le fichier des adresses IP et lancement du démon de ping
 // ===================================================================================================
-Liste_ip_fichier($db);
-Lance_demon_ping();
+if ($winlog_start_ping != "") {
+	Liste_ip_fichier($db);
+	Lance_demon_ping();
+}

 // Insertion des salles à partir du tableau $salles remplis par Insere_machines()
 // ==============================================================================