Il sistema della guida include un server interno che mette a disposizione
del browser il contenuto della guida.
Utilizzare il comando secondario
Help > Help Server
preference page to change the interface and port that the servers uses.
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 non viene specificata alcuna porta, ne viene assegnata una dal sistema operativo. | spazio |
La pagina delle preferenze Server della guida ha il seguente aspetto: