web-host-name

web-host-name = manually-set-webseal-hostname

Description

The manual setting for the WebSEAL server's host name.If left unset, WebSEAL attempts to automatically determine the server's host name. On systems with many hostnames, interfaces, or WebSEAL instances, the automatic determination may not always be correct. The manual setting for web-host-name resolves any conflicts.

Options

Usage: Optional

Default value

www.webseal.com

Example:

web-host-name = abc.example.com

Parent topic: [server] stanza