]> git.zerfleddert.de Git - usb-driver/commitdiff
hint for me how to solve current problem
authormichael <michael>
Thu, 22 Feb 2007 23:17:35 +0000 (23:17 +0000)
committermichael <michael>
Thu, 22 Feb 2007 23:17:35 +0000 (23:17 +0000)
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