# HG changeset patch
# User ulion
# Date 1196152040 0
# Node ID c4376432f72f94e8df2d60ca094efe87f18b10e5
# Parent  7493e9bc7293c2a84a172229908ecb5efa1a9a8e
Use const char * to replace a char * parameter.

diff -r 7493e9bc7293 -r c4376432f72f input/input.c
--- a/input/input.c	Tue Nov 27 00:33:59 2007 +0000
+++ b/input/input.c	Tue Nov 27 08:27:20 2007 +0000
@@ -1374,7 +1374,7 @@
 }
 
 static int
-mp_input_get_key_from_name(char* name) {
+mp_input_get_key_from_name(const char *name) {
   int i,ret = 0,len = strlen(name);
   if(len == 1) { // Direct key code
     ret = (unsigned char)name[0];