It was still sending shares to the pool, which is interesting. Maybe there’s some DNS resolution caching in the miner process

Also only one of my miners is connected to this server, so only one would have been impacted, fortunately