diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/keyboard.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index c1de4dafcdd..1914dca0ba5 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -1991,7 +1991,7 @@ start_polling (void) | |||
| 1991 | been turned off in process.c. */ | 1991 | been turned off in process.c. */ |
| 1992 | turn_on_atimers (1); | 1992 | turn_on_atimers (1); |
| 1993 | 1993 | ||
| 1994 | /* If poll timer doesn't exist, are we need one with | 1994 | /* If poll timer doesn't exist, or we need one with |
| 1995 | a different interval, start a new one. */ | 1995 | a different interval, start a new one. */ |
| 1996 | if (poll_timer == NULL | 1996 | if (poll_timer == NULL |
| 1997 | || poll_timer->interval.tv_sec != polling_period) | 1997 | || poll_timer->interval.tv_sec != polling_period) |