Apologies if this is a stupid question, but: I'm try to access the Italian wiki db on the toolserver. mysql -h itwiki-p.db.ts.wikimedia.org used to work as of 1 week ago but no longer does anything. However, mysql -h enwiki-p.db.ts.wikimedia.org does work. Is a server down, or is there another db host I should be trying to connect to? Thanks, Ian