River Tarnell wrote:
Dan Collins:
At any time in the near future will the old ts.wikimedia.de and tools.wikimedia.de (or whatever they really are) become invalidated?
tools.wikimedia.de will always be valid, but it will probably turn into a redirect to the new domain.
It is now turned into a redirect. Breaking one of my bots, btw. Check your code for any url pointing at the old toolserver dns, as bots aren't too good at following redirects.