dedicated.c
changeset 721 617a397f8b4b
parent 720 b9ecc658d224
child 736 75bcef85daeb
equal deleted inserted replaced
720:b9ecc658d224 721:617a397f8b4b
   122 static void DedicatedHandleKeyInput()
   122 static void DedicatedHandleKeyInput()
   123 {
   123 {
   124 #ifdef WIN32
   124 #ifdef WIN32
   125 	char input;
   125 	char input;
   126 #endif
   126 #endif
   127 	char input_line[200];
   127 	static char input_line[200] = "";
   128 
   128 
   129 #ifdef UNIX
   129 #ifdef UNIX
   130 	if (InputWaiting()) {
   130 	if (InputWaiting()) {
   131 		fgets(input_line, 200, stdin);
   131 		fgets(input_line, 200, stdin);
   132 		// Forget about the final \n (or \r)
   132 		// Forget about the final \n (or \r)