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 la valeur spécifiée est 0, le port est attribué par le système d'exploitation. | 0 |
Voici à quoi ressemble la page des préférences du serveur d'aide :