better give the hostname to ssh
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 25 Mar 2008 14:53:33 +0000 (14:53 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 25 Mar 2008 14:53:33 +0000 (14:53 +0000)
system/TestSsh.py

index 0e9495d..4e1698b 100644 (file)
@@ -75,7 +75,9 @@ class TestSsh:
         ssh_command="ssh "
         if self.caller.key:
             ssh_command += "-i %s.rsa "%(self.caller.key)
-        ssh_command += "%s/%s"%(self.buildname,TestSsh.backslash_shell_specials(command))
+        ssh_command += "`%s %s/%s"%(self.hostname(),
+                                    self.buildname,
+                                    TestSsh.backslash_shell_specials(command))
         return utils.system(ssh_command)
 
     def copy (self,local_file,recursive=False):