bayo:
- if the login.toolserver.org use 443 for ssh it can work ;
port 443 is for SSL HTTP (https), it can't be used for SSH.
you should check if the proxy supports the CONNECT method, or else can function as a SOCKS proxy. if not, you probably won't be able to use SSH from there.
- river.