Il sistema della guida include un server interno che mette a disposizione del browser il contenuto della guida. Questa pagina delle preferenze consente di modificare l'interfaccia e la porta utilizzate dal server. Queste impostazioni dovrebbero essere modificate solo se si verificano problemi e la guida non può essere visualizzata con le preferenze predefiniti.
Opzione |
Descrizione |
Impostazione predefinita |
---|---|---|
Host | Nome o indirizzo dell'interfaccia IP locale utilizzata dal server. | spazio |
Porta | Porta IP su cui è in attesa il server. Se è specificato il valore 0, la porta sarà assegnata dal sistema operativo. | 0 |
La pagina delle preferenze Server della guida ha il seguente aspetto: