User Manual

Manuel de référence du RM-CG
10
3 [DEPLOYMENT SERVER SETTINGS] (Paramètres du serveur de déploiement)
Vous permet de choisir d’utiliser ou non un serveur de déploiement. Si vous utilisez un serveur, choisissez si vous voulez le
détecter automatiquement ou le configurer manuellement.
Vous permet de vérifier/régler l’intervalle de mise en service du serveur.
4 [SYSLOG SERVER SETTINGS] (Paramètres du serveur Syslog)
Vous permet de choisir d’utiliser ou non un serveur Syslog.