#!/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>
#

# See if we really did rename this device.
if [ "$INTERFACE" = "$DEVNAME" ]; then
	exit 0
fi

# ok, we have renamed this device, so let's set $INTERFACE to the new name
# and call the network hotplug script to handle it properly...
INTERFACE=$DEVNAME
export INTERFACE
if [ -f /etc/hotplug.d/default/default.hotplug ]; then
	/etc/hotplug.d/default/default.hotplug net
fi

