3 --- src/input.c.orig 2003-07-01 19:06:43.000000000 +0200
5 @@ -127,7 +127,7 @@ void *input_func(void *arg __attribute__
6 (RealGameCnt+1)/2 + 1 );
8 pthread_mutex_lock(&input_mutex);
11 input_status = INPUT_AVAILABLE;
12 pthread_cond_signal(&input_cond);
13 pthread_mutex_unlock(&input_mutex);
14 @@ -173,13 +173,13 @@ void InitInput(void)
16 #ifdef HAVE_LIBREADLINE
17 if (isatty(STDIN_FILENO)) {
18 - getline = getline_readline;
19 + get_line = getline_readline;
22 - getline = getline_standard;
23 + get_line = getline_standard;
26 - getline = getline_standard;
27 + get_line = getline_standard;
29 /* Start input thread */
30 pthread_create(&input_thread, NULL, input_func, NULL);