[tor-relays] frequency of checking an IP change

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512

Hi,

I'm wondering how often Tor tries to detect an IP change of itself and if a relay operator can modify that frequency?

Observing the detection point in time and the actual IP change I guess it takes several minutes:

- From the logfile: 00:33:30 Tor: Our IP Address has changed from ... to ...

The new IP address was actually assigned several minutes before: 00:27:53 (check occurs every 10seconds)

It would be valueable to modify the frequency because the relay in question gets a new IP address every few hours (<10h).

Looking at the man page I couldn't find anything regarding that frequency.

kind regards, tagnaq