--- 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;
}