summaryrefslogtreecommitdiff
path: root/desktop
diff options
context:
space:
mode:
Diffstat (limited to 'desktop')
-rw-r--r--desktop/options.c3
-rw-r--r--desktop/options.h1
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);