hint for me how to solve current problem
[usb-driver] / usb-driver.c
index 3f22b08e1090d8055e612a0be8841124cf3ff3a9..abbca2b0d85c25a23c7b4bb1c7bfaa051bdecd54 100644 (file)
@@ -438,7 +438,7 @@ int do_wdioctl(int fd, unsigned int request, unsigned char *wdioctl) {
                                        if (it->dwCounter == 0) {
                                                it->dwCounter = 1;
                                        } else {
-                                               //FIXME: signal 
+                                               //FIXME: signal durch FUTEX, overload futex!
                                                kill(getpid(), SIGHUP);
                                        }
                                } else {
Impressum, Datenschutz