diff -r 3eb6abf08860 -r 5b3eb9bec105 settings_gui.c
--- a/settings_gui.c	Mon Dec 13 17:58:53 2004 +0000
+++ b/settings_gui.c	Mon Dec 13 18:32:49 2004 +0000
@@ -983,7 +983,7 @@
 void ConsoleSetPatchSetting(char *name, char *value)
 {
 	const PatchPage *page;
-	const PatchEntry *pe;
+	const PatchEntry *pe = NULL;
 	bool found = false;
 	int i, j;
 	int val;
@@ -1004,7 +1004,7 @@
 	}
 
 	/* We did not found the patch setting */
-	if (!found) {
+	if (!found || pe == NULL) {
 		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch setting", name);
 		return;
 	}
@@ -1041,7 +1041,7 @@
 void ConsoleGetPatchSetting(char *name)
 {
 	const PatchPage *page;
-	const PatchEntry *pe;
+	const PatchEntry *pe = NULL;
 	char value[50];
 	bool found = false;
 	int i, j;
@@ -1062,7 +1062,7 @@
 	}
 
 	/* We did not found the patch setting */
-	if (!found) {
+	if (!found || pe == NULL) {
 		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch setting", name);
 		return;
 	}