wok diff dhcp/stuff/dhcpd @ rev 23741

updated workerfm again (2.19.6 -> 4.1.0)
author: Hans-G?nter Theisgen
date: Fri May 01 11:25:13 2020 +0100 (2020-05-01)
parents: ff5fd8788cd9
     1.1 --- a/dhcp/stuff/dhcpd	Fri May 27 01:40:23 2016 +0300
     1.2 +++ b/dhcp/stuff/dhcpd	Fri May 01 11:25:13 2020 +0100
     1.3 @@ -14,6 +14,10 @@
     1.4  OPTIONS=$DHCPD_OPTIONS
     1.5  PIDFILE=/var/run/dhcpd.pid
     1.6  
     1.7 +for i in $OPTIONS ; do
     1.8 +	case "$i" in eth*.*) vconfig set_flag $i 1 1; esac
     1.9 +done
    1.10 +
    1.11  case "$1" in
    1.12    start)
    1.13      if active_pidfile $PIDFILE dhcpd ; then