Attached is a patch which adds a per-host setting to connect via an HTTP proxy to SSH servers. I added this to scratch my own itch and that of my users; we use the PageKite reverse proxy (of which I am the author) to access SSH servers which are on machines without public IP addresses (details: http://pagekite.net/wiki/Howto/SshOverPageKite/)

I figure other users might also benefit from HTTP Proxy support, so instead of offering my users a custom version of ConnectBot I thought it would be worth trying to get this merged back into the mainline. :-)

The patch is relatively small, mostly just glue code, because com.trilead.ssh2 already had HTTP Proxy support built in - it just needed to be exposed to the user.

...

If people want to see it live, I have built and signed a custom version of ConnectBot, which can be downloaded from here: http://pagekite.net/pk/android/ConnectBot.apk