On 12 July 2012 13:04, Bryan Tong Minh bryan.tongminh@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