From a3befc7aaeda89e1caa3d604d9c2e50faf31e2fd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Sat, 21 Jan 2023 20:30:29 +0100
Subject: [PATCH] core: make proxy options and types case sensitive (issue
 #1872)

---
 src/core/wee-proxy.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/wee-proxy.c b/src/core/wee-proxy.c
index 5cb98abd3..0b910930b 100644
--- a/src/core/wee-proxy.c
+++ b/src/core/wee-proxy.c
@@ -67,7 +67,7 @@ proxy_search_option (const char *option_name)
 
     for (i = 0; i < PROXY_NUM_OPTIONS; i++)
     {
-        if (string_strcasecmp (proxy_option_string[i], option_name) == 0)
+        if (strcmp (proxy_option_string[i], option_name) == 0)
             return i;
     }
 
@@ -91,7 +91,7 @@ proxy_search_type (const char *type)
 
     for (i = 0; i < PROXY_NUM_TYPES; i++)
     {
-        if (string_strcasecmp (proxy_type_string[i], type) == 0)
+        if (strcmp (proxy_type_string[i], type) == 0)
             return i;
     }