I have an IP address that changes roughly every 24 hours. About two out of three times, I’ve seen Tor detect that my IP address changed; but the last time it didn’t work and I had to restart the relay manually.
Is this flakiness expected or is there simply a nontrivial amount of delay before Tor detects this change? Should I write a script that restarts Tor instead of waiting for it to detect IP changes on its own?