From e16f6d03a790e0f8b4f8abaf770ae00c32381b57 Mon Sep 17 00:00:00 2001 From: Ermal Date: Tue, 11 Nov 2014 21:28:13 +0100 Subject: [PATCH] Do not do this during boot --- etc/inc/interfaces.inc | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/etc/inc/interfaces.inc b/etc/inc/interfaces.inc index 4046d240e..ed85f32c0 100644 --- a/etc/inc/interfaces.inc +++ b/etc/inc/interfaces.inc @@ -995,16 +995,18 @@ function interface_gif_configure(&$gif, $gifkey = "") { else log_error(gettext("could not bring gifif up -- variable not defined")); - $iflist = get_configured_interface_list(); - foreach($iflist as $ifname) { - if($config['interfaces'][$ifname]['if'] == $gifif) { - if(get_interface_gateway($ifname)) { - system_routing_configure($ifname); - break; - } - if(get_interface_gateway_v6($ifname)) { - system_routing_configure($ifname); - break; + if (!$g['booting']) { + $iflist = get_configured_interface_list(); + foreach($iflist as $ifname) { + if($config['interfaces'][$ifname]['if'] == $gifif) { + if(get_interface_gateway($ifname)) { + system_routing_configure($ifname); + break; + } + if(get_interface_gateway_v6($ifname)) { + system_routing_configure($ifname); + break; + } } } }