ping-uri

Syntax

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

This stanza entry is optional.

Default value

/