udev_monitor_get_fd(category24-kurz-tips.html) - phpMan