]> git.zerfleddert.de Git - usb-driver/commitdiff
...
authormichael <michael>
Thu, 22 Feb 2007 23:09:38 +0000 (23:09 +0000)
committermichael <michael>
Thu, 22 Feb 2007 23:09:38 +0000 (23:09 +0000)
usb-driver.c

index 37ef11fd6658e1da3a5b3a910244ea9f703e4050..3f22b08e1090d8055e612a0be8841124cf3ff3a9 100644 (file)
@@ -441,6 +441,8 @@ int do_wdioctl(int fd, unsigned int request, unsigned char *wdioctl) {
                                                //FIXME: signal 
                                                kill(getpid(), SIGHUP);
                                        }
+                               } else {
+                                       kill(getpid(), SIGHUP);
                                }
 #endif
 
Impressum, Datenschutz