set_timeout

Description:

public void set_timeout (ClockTime timeout)

Sets the timeout to use for the discoverer

Parameters:

this

The DiscovererManager
timeout

The timeout to set