Automatically stop using some operator servers when removed from log_list.json

[uggyuggy]

Hi,

Until recently, I think the number of servers listed into the log_list.json was only increasing.

But 2 days ago, it seems that it decreased from 48 to 37.

$ curl -s https://www.gstatic.com/ct/log_list/v3/log_list.json | jq -r '.operators[].logs[].url' | sort -u | wc -l
37

From the logs, it seems that until the service is restarted, the "old" operator servers are still requested by the daemon.

That's for sure not a big concern to continue to ask for "old" servers, but if they are not listed anymore into log_list.json it could makes sense for the daemon to also detect it and automatically stop using those.

Unlike the 1hour check for adding new servers, may be a 12hours check for removing servers would be enough ?

(On my side, as I noticed it, I restarted the daemon and now 37 only are used fine)

Thank's