diff options
Diffstat (limited to '')
| -rw-r--r-- | g10/keyserver.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/g10/keyserver.c b/g10/keyserver.c index 7389d1e60..b6edae10f 100644 --- a/g10/keyserver.c +++ b/g10/keyserver.c @@ -83,6 +83,14 @@ parse_keyserver_options(char *options) if(tok[0]=='\0') continue; + /* For backwards compatibility. 1.2.x used honor-http-proxy and + there are a good number of documents published that recommend + it. */ + if(ascii_strcasecmp(tok,"honor-http-proxy")==0) + tok="http-proxy"; + else if(ascii_strcasecmp(tok,"no-honor-http-proxy")==0) + tok="no-http-proxy"; + /* We accept quite a few possible options here - some options to handle specially, the keyserver_options list, and import and export options that pertain to keyserver operations. Note |