settings_gui.c
changeset 629 4bb1f0fb0109
parent 625 40c83b088bb8
child 631 5b3eb9bec105
equal deleted inserted replaced
628:dfeef108b900 629:4bb1f0fb0109
  1003 			break;
  1003 			break;
  1004 	}
  1004 	}
  1005 
  1005 
  1006 	/* We did not found the patch setting */
  1006 	/* We did not found the patch setting */
  1007 	if (!found) {
  1007 	if (!found) {
  1008 		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch settings", name);
  1008 		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch setting", name);
  1009 		return;
  1009 		return;
  1010 	}
  1010 	}
  1011 
  1011 
  1012 	val = atoi(value);
  1012 	val = atoi(value);
  1013 
  1013 
  1061 			break;
  1061 			break;
  1062 	}
  1062 	}
  1063 
  1063 
  1064 	/* We did not found the patch setting */
  1064 	/* We did not found the patch setting */
  1065 	if (!found) {
  1065 	if (!found) {
  1066 		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch settings", name);
  1066 		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch setting", name);
  1067 		return;
  1067 		return;
  1068 	}
  1068 	}
  1069 
  1069 
  1070 	/* 'pe' is now the correct patch setting */
  1070 	/* 'pe' is now the correct patch setting */
  1071 	switch(pe->type) {
  1071 	switch(pe->type) {