zeromq/pyzmq — pull request #237 by nickpell (2012-07-20 22:31:28+00:00)
Title: Allow OpenSSH to use non-default port

Currently tunnel_connection fails if server takes the form "address:port". Opening a port other than 22 requires use of the -p option.

The change parses server, which takes the form "[user@]address[:port]" according to the documentation:
https://github.com/zeromq/pyzmq/blob/master/docs/source/ssh.rst