#!/bin/sh
#----------------------------------------------------------------------------
# Last Update:  $Id$
#----------------------------------------------------------------------------

dhcpfile=/var/run/dhcpv4.nets
[ -f $dhcpfile ] && sed -i "/^$real_interface=/d" $dhcpfile