wok diff dhcp/stuff/dhcpd @ rev 22715

updated faenza-icon-theme and faenza-icon-theme-emblems (1.3 -> 1.3.1)
author: Hans-Günter Theisgen
date: Wed Jan 22 14:36:07 2020 +0100 (2020-01-22)
parents: ff5fd8788cd9
     1.1 --- a/dhcp/stuff/dhcpd	Fri May 27 01:40:23 2016 +0300
     1.2 +++ b/dhcp/stuff/dhcpd	Wed Jan 22 14:36:07 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