cast ssh port number as integer

pull/213/head
Matt Coddington 13 years ago
parent 89c013035e
commit d34160ed26

@ -95,7 +95,7 @@ class ParamikoConnection(object):
if 'hostname' in credentials: if 'hostname' in credentials:
self.host = credentials['hostname'] self.host = credentials['hostname']
if 'port' in credentials: if 'port' in credentials:
self.port = credentials['port'] self.port = int(credentials['port'])
if 'user' in credentials: if 'user' in credentials:
user = credentials['user'] user = credentials['user']
if 'identityfile' in credentials: if 'identityfile' in credentials:

Loading…
Cancel
Save