From 6582ac6b094dc7fa2344df49224da9dcb40c4004 Mon Sep 17 00:00:00 2001
From: Claudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Date: Mon, 19 Sep 2011 09:03:03 +0200
Subject: [PATCH] Fix timeout option spec

---
 src/nepi/util/server.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/nepi/util/server.py b/src/nepi/util/server.py
index 4d7d5507..2d15b382 100644
--- a/src/nepi/util/server.py
+++ b/src/nepi/util/server.py
@@ -589,7 +589,8 @@ def popen_ssh_command(command, host, port, user, agent,
     tmp_known_hosts = None
     args = ['ssh',
             # Don't bother with localhost. Makes test easier
-            '-o', 'NoHostAuthenticationForLocalhost=yes,ConnectTimeout=%s' % (connect_timeout,),
+            '-o', 'NoHostAuthenticationForLocalhost=yes',
+            '-o', 'ConnectTimeout=%d' % (int(connect_timeout),),
             '-l', user, host]
     if agent:
         args.append('-A')
-- 
2.43.0