chiark / gitweb /
do not delete the device node with ignore_remove, but handle the event