Add user-keys option to allow user-defined keys to be set, from Dan

Aloni.
This commit is contained in:
nicm
2017-06-23 15:36:52 +00:00
parent a67df17763
commit 95ed7d48c8
6 changed files with 50 additions and 3 deletions

View File

@ -136,6 +136,13 @@ const struct options_table_entry options_table[] = {
.separator = ","
},
{ .name = "user-keys",
.type = OPTIONS_TABLE_ARRAY,
.scope = OPTIONS_TABLE_SERVER,
.default_str = "",
.separator = ","
},
{ .name = "assume-paste-time",
.type = OPTIONS_TABLE_NUMBER,
.scope = OPTIONS_TABLE_SESSION,