diff options
Diffstat (limited to 'udev/udev-042')
| -rw-r--r-- | udev/udev-042/init | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/udev/udev-042/init b/udev/udev-042/init index 4e31881274..e6b2986f89 100644 --- a/udev/udev-042/init +++ b/udev/udev-042/init @@ -99,7 +99,7 @@ case "$1" in echo "done." ;; stop) - start-stop-daemon --stop --exec /sbin/udevd --oknodo --quiet + start-stop-daemon -K -x /sbin/udevd echo -n "Unmounting $udev_root..." # unmounting with -l should never fail if umount -l $udev_root; then @@ -146,7 +146,7 @@ case "$1" in # /etc/init.d/mountvirtfs start ;; stop) - start-stop-daemon --stop --exec /sbin/udevd --oknodo --quiet + start-stop-daemon -K -x /sbin/udevd unmount_devpts echo -n "Unmounting /dev..." # unmounting with -l should never fail @@ -159,7 +159,7 @@ case "$1" in fi ;; restart|force-reload) - start-stop-daemon --stop --exec /sbin/udevd --oknodo --quiet + start-stop-daemon -K -x /sbin/udevd echo -n "Recreating device nodes..." ACTION=add $UDEVSTART |