diff options
| -rw-r--r-- | console-client/pc-mouse.c | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/console-client/pc-mouse.c b/console-client/pc-mouse.c index 1b7bb5d7..2cec2042 100644 --- a/console-client/pc-mouse.c +++ b/console-client/pc-mouse.c @@ -93,12 +93,9 @@ repeat_event (kd_event *evt) pthread_mutex_lock (&global_lock); while (mousebuf.size + sizeof (kd_event) > MOUSEBUFSZ) { - /* The input buffer is full, wait until there is some space. */ - if (pthread_hurd_cond_wait_np (&mousebuf.writecond, &global_lock)) - { - pthread_mutex_unlock (&global_lock); - /* Interrupt, silently continue. */ - } + /* The input buffer is full, wait until there is some space. If this call + * is interrupted, silently continue */ + (void) pthread_hurd_cond_wait_np (&mousebuf.writecond, &global_lock); } ev = (kd_event *) &mousebuf.evtbuffer[MOUSEBUF_POS (mousebuf.pos + mousebuf.size)]; |