From 503c729bb05948f1f15aefc8293178792d04b59f Mon Sep 17 00:00:00 2001 From: Andreas Schneider Date: Fri, 15 Nov 2013 15:38:10 +0100 Subject: [PATCH] gssapi: Add support for GSSAPIServerIdentity config option. --- src/config.c | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/config.c b/src/config.c index 7935e884..0a6d451c 100644 --- a/src/config.c +++ b/src/config.c @@ -46,7 +46,8 @@ enum ssh_config_opcode_e { SOC_PROTOCOL, SOC_STRICTHOSTKEYCHECK, SOC_KNOWNHOSTS, - SOC_PROXYCOMMAND + SOC_PROXYCOMMAND, + SOC_GSSAPISERVERIDENTITY }; struct ssh_config_keyword_table_s { @@ -67,6 +68,7 @@ static struct ssh_config_keyword_table_s ssh_config_keyword_table[] = { { "stricthostkeychecking", SOC_STRICTHOSTKEYCHECK }, { "userknownhostsfile", SOC_KNOWNHOSTS }, { "proxycommand", SOC_PROXYCOMMAND }, + { "gssapiserveridentity", SOC_GSSAPISERVERIDENTITY }, { NULL, SOC_UNSUPPORTED } }; @@ -323,6 +325,12 @@ static int ssh_config_parse_line(ssh_session session, const char *line, ssh_options_set(session, SSH_OPTIONS_PROXYCOMMAND, p); } break; + case SOC_GSSAPISERVERIDENTITY: + p = ssh_config_get_str_tok(&s, NULL); + if (p && *parsing) { + ssh_options_set(session, SSH_OPTIONS_GSSAPI_SERVER_IDENTITY, p); + } + break; case SOC_UNSUPPORTED: SSH_LOG(SSH_LOG_RARE, "Unsupported option: %s, line: %d\n", keyword, count);