diff options
Diffstat (limited to 'desktop')
-rw-r--r-- | desktop/options.c | 4 | ||||
-rw-r--r-- | desktop/options.h | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/desktop/options.c b/desktop/options.c index 12867e00c..ed4af4ccd 100644 --- a/desktop/options.c +++ b/desktop/options.c @@ -128,6 +128,9 @@ int option_max_fetchers_per_host = 2; * is this plus option_max_fetchers. */ int option_max_cached_fetch_handles = 6; +/** Suppress debug output from cURL. */ +bool option_suppress_curl_debug = true; + /** Whether to allow target="_blank" */ bool option_target_blank = true; @@ -181,6 +184,7 @@ struct { OPTION_INTEGER, &option_max_fetchers_per_host }, { "max_cached_fetch_handles", OPTION_INTEGER, &option_max_cached_fetch_handles }, + { "suppress_curl_debug", OPTION_BOOL, &option_suppress_curl_debug }, { "target_blank", OPTION_BOOL, &option_target_blank }, EXTRA_OPTION_TABLE diff --git a/desktop/options.h b/desktop/options.h index 8ecc0c407..007605469 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -73,6 +73,7 @@ extern int option_toolbar_status_width; extern int option_max_fetchers; extern int option_max_fetchers_per_host; extern int option_max_cached_fetch_handles; +extern bool option_suppress_curl_debug; void options_read(const char *path); |