From efb106f8a087cc777e0ef8cbb8fa265190543ffb Mon Sep 17 00:00:00 2001
From: Ian Barwick <ian@2ndquadrant.com>
Date: Mon, 22 Aug 2016 14:34:15 +0900
Subject: [PATCH] Pass `ssh_options` when executing a remote command.

This resolves GitHub #233.
---
 repmgr.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repmgr.c b/repmgr.c
index 8946b3ce..bf487a05 100644
--- a/repmgr.c
+++ b/repmgr.c
@@ -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);