Hi there!
Attached is a very simple patch, to allow specifying the port argument
when connecting via a SshGateway.
--
Mads Chr. Olesen <[EMAIL PROTECTED]>
shiyee.dk
--- /usr/share/pycentral/python-codespeak-lib/site-packages/py/execnet/register.py.bak 2008-01-05 21:09:52.000000000 +0100
+++ /usr/share/pycentral/python-codespeak-lib/site-packages/py/execnet/register.py 2008-01-05 21:12:05.000000000 +0100
@@ -128,7 +128,7 @@
established via the 'ssh' command line binary.
The remote side needs to have a Python interpreter executable.
"""
- def __init__(self, sshaddress, remotepython='python', identity=None, sshcommandprefix=''):
+ def __init__(self, sshaddress, remotepython='python', identity=None, sshcommandprefix='', port=None):
""" instantiate a remote ssh process with the
given 'sshaddress' and remotepython version.
you may specify an 'identity' filepath.
@@ -142,6 +142,8 @@
cmd = 'ssh -C'
if identity is not None:
cmd += ' -i %s' % (identity,)
+ if port is not None:
+ cmd += ' -p %d' % (port,)
cmdline.insert(0, cmd)
if sshcommandprefix:
cmdline.insert(0, sshcommandprefix)
_______________________________________________
py-dev mailing list
[email protected]
http://codespeak.net/mailman/listinfo/py-dev
