console_cmds.c
changeset 4278 0025a4267abe
parent 4261 2ec8f5a9747b
child 4279 13a8344e4ac4
--- a/console_cmds.c	Tue Aug 15 07:07:17 2006 +0000
+++ b/console_cmds.c	Tue Aug 15 07:37:01 2006 +0000
@@ -1342,7 +1342,8 @@
 	if (argc == 2) {
 		IConsoleGetPatchSetting(argv[1]);
 	} else {
-		IConsoleSetPatchSetting(argv[1], argv[2]);
+		int32 val;
+		if (GetArgumentInteger(&val, argv[2])) IConsoleSetPatchSetting(argv[1], val);
 	}
 
 	return true;