#!/bin/sh
#
# Script to ensure that any network device that udev renames
# still gets the hotplug script run with the proper name.
#
# Released under the GPL v2
#
# Copyright (C) 2004 Greg Kroah-Hartman <greg@kroah.com>
#

# Do nothing if udev handles hotplug.d.
if [ "$MANAGED_EVENT" == "1" ]; then
	exit 0
fi

# ok, we have renamed this device, so let the network hotplug script
# know about it to setup the device properly...
if [ -f /etc/hotplug.d/default/default.hotplug ]; then
	exec /etc/hotplug.d/default/default.hotplug net
fi

