diff options
Diffstat (limited to 'desktop')
-rw-r--r-- | desktop/options.c | 3 | ||||
-rw-r--r-- | desktop/options.h | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/desktop/options.c b/desktop/options.c index 45bfa50b0..1748fc6b1 100644 --- a/desktop/options.c +++ b/desktop/options.c @@ -41,6 +41,8 @@ int option_font_size = 100; int option_font_min_size = 70; /** Accept-Language header. */ char *option_accept_language = 0; +/** Strict verification of SSL sertificates */ +bool option_ssl_verify_certificates = true; EXTRA_OPTION_DEFINE @@ -56,6 +58,7 @@ struct { { "font_size", OPTION_INTEGER, &option_font_size }, { "font_min_size", OPTION_INTEGER, &option_font_min_size }, { "accept_language", OPTION_STRING, &option_accept_language }, + { "ssl_verify_certificates", OPTION_BOOL, &option_ssl_verify_certificates }, EXTRA_OPTION_TABLE }; diff --git a/desktop/options.h b/desktop/options.h index e903c31c3..efec32f33 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -30,6 +30,7 @@ extern int option_http_proxy_port; extern int option_font_size; extern int option_font_min_size; extern char *option_accept_language; +extern bool option_ssl_verify_certificates; void options_read(const char *path); void options_write(const char *path); |