ping-uri

ping-uri = uri

Description

The WebSEAL server performs a periodic background ping of each junctioned Web server to determine Whether it is running. The optional ping-uri configuration entry defines the URI that is accessed by the ping request. The defined URI is relative to the root Web space of the junctioned Web server. If the URI is missing, this value defaults to a /.

You can customize this configuration item for a particular junction by adding the adjusted configuration item to a [junction:{junction_name}] stanza.

where {junction_name} refers to the junction point for a standard junction (including the leading / character) or the virtual host label for a virtual host junction.

Options

uri	The URI that is accessed by the ping request.

Usage: Optional

Default:

/

ping-uri = /apps/status

Parent topic: [junction] stanza