dedicated.c
changeset 781 9717ff353c17
parent 774 258c11431acb
child 796 42a3669a939f
equal deleted inserted replaced
780:f7d6976a1fc8 781:9717ff353c17
    11 #include "console.h"
    11 #include "console.h"
    12 #ifdef WIN32
    12 #ifdef WIN32
    13 #	include <windows.h> /* GetTickCount */
    13 #	include <windows.h> /* GetTickCount */
    14 #	include <conio.h>
    14 #	include <conio.h>
    15 #endif
    15 #endif
       
    16 
       
    17 #ifdef __OS2__
       
    18 #	include <sys/time.h> /* gettimeofday */
       
    19 #	include <sys/types.h>
       
    20 #	include <unistd.h>
       
    21 #	include <conio.h>
       
    22 #	define STDIN 0  /* file descriptor for standard input */
       
    23 #endif
       
    24 
    16 #ifdef UNIX
    25 #ifdef UNIX
    17 #	include <sys/time.h> /* gettimeofday */
    26 #	include <sys/time.h> /* gettimeofday */
    18 #	include <sys/types.h>
    27 #	include <sys/types.h>
    19 #	include <unistd.h>
    28 #	include <unistd.h>
    20 #	include <signal.h>
    29 #	include <signal.h>
   132 #ifdef WIN32
   141 #ifdef WIN32
   133 	char input;
   142 	char input;
   134 #endif
   143 #endif
   135 	static char input_line[200] = "";
   144 	static char input_line[200] = "";
   136 
   145 
   137 #ifdef UNIX
   146 #if defined(UNIX) || defined(__OS2__)
   138 	if (InputWaiting()) {
   147 	if (InputWaiting()) {
   139 		if (_exit_game)
   148 		if (_exit_game)
   140 			return;
   149 			return;
   141 
   150 
   142 		fgets(input_line, 200, stdin);
   151 		fgets(input_line, 200, stdin);