Pass ssh_options when executing a remote command.

This resolves GitHub #233.
This commit is contained in:
Ian Barwick
2016-08-22 14:34:15 +09:00
parent 5baec14a1e
commit efb106f8a0

View File

@@ -6519,7 +6519,8 @@ remote_command(const char *host, const char *user, const char *command, PQExpBuf
appendPQExpBuffer(&ssh_host, "%s",host);
maxlen_snprintf(ssh_command,
"ssh -o Batchmode=yes %s %s",
"ssh -o Batchmode=yes %s %s %s",
options.ssh_options,
ssh_host.data,
command);