New option to manually configure the expected host key(s).

[PuTTY.git] / putty.h

diff --git a/putty.h b/putty.h
index a6578ae0c4c1e9c5eef1d15d6ecae7708a806268..ff0f3156a111eca11a206ab82c6917e79870c1de 100644 (file)
--- a/putty.h
+++ b/putty.h
@@ -848,6 +848,12 @@ void cleanup_exit(int);
     X(INT, NONE, ssh_connection_sharing) \
     X(INT, NONE, ssh_connection_sharing_upstream) \
     X(INT, NONE, ssh_connection_sharing_downstream) \
+    /*
+     * ssh_manual_hostkeys is conceptually a set rather than a
+     * dictionary: the string subkeys are the important thing, and the
+     * actual values to which those subkeys map are all "".
+     */ \
+    X(STR, STR, ssh_manual_hostkeys) \
     /* Options for pterm. Should split out into platform-dependent part. */ \
     X(INT, NONE, stamp_utmp) \
     X(INT, NONE, login_shell) \