From eca397380e8dba5756bb01134a177e1f07ced8db Mon Sep 17 00:00:00 2001
From: "Rob Swindell (on Debian Linux)" <rob@synchro.net>
Date: Tue, 11 Feb 2025 18:43:55 -0800
Subject: [PATCH] Convert charset to lowercase, don't depend on file_getcase()
 to fix

... cause it won't (fix directory case in path).
---
 exec/load/gettext.js | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/exec/load/gettext.js b/exec/load/gettext.js
index ad5a54b8a2..8903e0c2c5 100644
--- a/exec/load/gettext.js
+++ b/exec/load/gettext.js
@@ -11,9 +11,6 @@ var gettext_cache = {};
 
 function gettext(orig, key) {
 	function get_text_from_ini(ini_fname, orig, key){
-		ini_fname = file_getcase(ini_fname);
-		if(!ini_fname)
-			return undefined;
 		var f = new File(ini_fname);
 		if(!f.open("r"))
 			return undefined;
@@ -26,10 +23,11 @@ function gettext(orig, key) {
 	if (gettext_cache[key || orig] !== undefined)
 		return gettext_cache[key || orig];
 	var text;
+	var charset = console.charset.toLowerCase();
 	if (user.lang)
-		text = get_text_from_ini(console.charset + "/text." + user.lang + ".ini", orig, key);
+		text = get_text_from_ini(charset + "/text." + user.lang + ".ini", orig, key);
 	if (text === undefined)
-		text = get_text_from_ini(console.charset + "/text.ini", orig, key);
+		text = get_text_from_ini(charset + "/text.ini", orig, key);
 	if (text === undefined && user.lang)
 		text = get_text_from_ini("text." + user.lang + ".ini", orig, key);
 	if (text === undefined)
-- 
GitLab