On 12 July 2012 13:04, Bryan Tong Minh <bryan.tongminh(a)gmail.com> wrote:
Oh, right you need to specify the actual server to
login to;
apparently just
toolserver.org doesn't work.
I think there's a caching server in front of the web servers that you
were probably trying to log in to.
Simon