Le système d'aide comporte un serveur interne fournissant des informations d'aide au navigateur. Cette page de préférences permet de changer l'interface et le port utilisés par le serveur. Ne modifiez ces paramètres que si vous rencontrez des problèmes et ne pouvez pas afficher l'aide des préférences par défaut.
Option |
Description |
Valeur par défaut |
---|---|---|
Hôte | Nom ou adresse de l'interface IP locale utilisable par le serveur. | vide |
Port | Port IP sur lequel le serveur doit écouter. Si aucun port n'est spécifié pour la valeur, le système d'exploitation en attribuera un. | vide |
Voici à quoi ressemble la page des préférences du serveur d'aide :