console_cmds.c
changeset 625 682ead270492
parent 623 e0e3e0340097
child 627 a78f58e07142
--- a/console_cmds.c	Mon Dec 13 16:15:21 2004 +0000
+++ b/console_cmds.c	Mon Dec 13 16:16:28 2004 +0000
@@ -552,7 +552,6 @@
 /*   the "set" command          */
 /* **************************** */
 
-
 DEF_CONSOLE_CMD(ConSet) {
 	if (argc < 2) {
 		IConsolePrint(_iconsole_color_warning, "Unknonw usage. Usage: set [setting] [value].");
@@ -657,6 +656,22 @@
 
 #endif
 
+	// Patch-options
+	if (strcmp(argv[1],"patch") == 0) {
+		if (_networking && !_network_server) {
+			IConsolePrintF(_iconsole_color_error, "You are not the server");
+			return NULL;
+		}
+		if (argc == 3)
+			ConsoleGetPatchSetting(argv[2]);
+		else if (argc == 4)
+			ConsoleSetPatchSetting(argv[2], argv[3]);
+		else
+			IConsolePrint(_iconsole_color_warning, "Usage: set patch <patch_name> [<value>].");
+		return NULL;
+	}
+
+
 	IConsolePrintF(_iconsole_color_error,"Unknown setting");
 
 	return NULL;