diff options
-rwxr-xr-x | etc/pccard_ether | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/etc/pccard_ether b/etc/pccard_ether index 4084ea7..15faad7 100755 --- a/etc/pccard_ether +++ b/etc/pccard_ether @@ -12,7 +12,13 @@ fi if [ "x$pccard_ifconfig" != "xNO" ] ; then if [ "x$pccard_ifconfig" = "xDHCP" ] ; then - # DHCP currently not implemented + if [ -f /usr/local/sbin/dhclient ] ; then + if [ -s /var/run/dhclient.pid ] ; then + kill `cat /var/run/dhclient.pid` + rm /var/run/dhclient.pid + fi + /usr/local/sbin/dhclient + fi else interface=$1 shift |