get_timeout


Description:

public ClockTime get_timeout ()

Parameters:

this

The DiscovererManager

Returns:

The timeout to use for the discoverer