[PATCH] small udev patch

You should also remove etc/dev.d/default/dbus.dev which does not exist
anymore.

BTW, please remove etc/init.d/udev.debian because it is broken.

diff --git a/etc/dev.d/net/hotplug.dev b/etc/dev.d/net/hotplug.dev
index ed64c08cf274e0c944585113bd8e677e7371371d..15cc5cb52e5d9ca866bdd19d588aa5003a439a63 100644 (file)
--- a/etc/dev.d/net/hotplug.dev
+++ b/etc/dev.d/net/hotplug.dev
@@ -18,6 +18,6 @@ fi
 INTERFACE=$DEVNAME
 export INTERFACE
 if [ -f /etc/hotplug.d/default/default.hotplug ]; then
-       /etc/hotplug.d/default/default.hotplug net
+       exec /etc/hotplug.d/default/default.hotplug net
 fi