[tor-relays] frequency of checking an IP change

[tagnaq]

-----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
-----BEGIN PGP SIGNATURE-----

iF4EAREKAAYFAk2J3ZIACgkQyM26BSNOM7b4NwD/QmH0RWDsp0muCy0PFtkE0Gw4
TDNZx4eDYcOLKfvRX5UA/1PdG8w7DYtfvktWGkzBj82d6/gFo68oVJ+QAM8yqvWU
=wnE6
-----END PGP SIGNATURE-----