diff --git a/src/evdev.c b/src/evdev.c index edea3968..7397ea1d 100644 --- a/src/evdev.c +++ b/src/evdev.c @@ -22,6 +22,7 @@ #include "config.h" +#include #include #include #include @@ -414,7 +415,13 @@ evdev_device_data(int fd, uint32_t mask, void *data) len = read(fd, &ev, sizeof ev); if (len < 0 || len % sizeof ev[0] != 0) { - /* FIXME: call evdev_device_destroy when errno is ENODEV. */ + if (len < 0 && errno != EAGAIN && errno != EINTR) { + weston_log("device %s died\n", + device->devnode); + wl_event_source_remove(device->source); + device->source = NULL; + } + return 1; }