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

dhcpfile=/var/run/dhcpv4.nets
[ -f $dhcpfile ] && sed -i "/^$real_interface=/d" $dhcpfile
if [ -n "$new_subnet_mask" ]
then
    net=$local/$(netcalc netmaskbits $new_subnet_mask)
    echo "$real_interface=$net" >> $dhcpfile
fi