diff options
Diffstat (limited to 'src/usr/local/www/interfaces_gif_edit.php')
-rw-r--r-- | src/usr/local/www/interfaces_gif_edit.php | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/src/usr/local/www/interfaces_gif_edit.php b/src/usr/local/www/interfaces_gif_edit.php index 030df82..b328f1e 100644 --- a/src/usr/local/www/interfaces_gif_edit.php +++ b/src/usr/local/www/interfaces_gif_edit.php @@ -65,8 +65,9 @@ require("guiconfig.inc"); -if (!is_array($config['gifs']['gif'])) +if (!is_array($config['gifs']['gif'])) { $config['gifs']['gif'] = array(); +} $a_gifs = &$config['gifs']['gif']; @@ -161,20 +162,22 @@ if ($_POST) { $gif['gifif'] = $_POST['gifif']; $gif['gifif'] = interface_gif_configure($gif); - if ($gif['gifif'] == "" || !stristr($gif['gifif'], "gif")) + if ($gif['gifif'] == "" || !stristr($gif['gifif'], "gif")) { $input_errors[] = gettext("Error occurred creating interface, please retry."); - else { - if (isset($id) && $a_gifs[$id]) + } else { + if (isset($id) && $a_gifs[$id]) { $a_gifs[$id] = $gif; - else + } else { $a_gifs[] = $gif; + } write_config(); $confif = convert_real_interface_to_friendly_interface_name($gif['gifif']); - if ($confif != "") + if ($confif != "") { interface_configure($confif); + } header("Location: interfaces_gif.php"); exit; @@ -185,18 +188,20 @@ if ($_POST) { function build_parent_list() { $parentlist = array(); $portlist = get_possible_listen_ips(); - foreach ($portlist as $ifn => $ifinfo) + foreach ($portlist as $ifn => $ifinfo) { $parentlist[$ifn] = $ifinfo; + } return($parentlist); } -$pgtitle = array(gettext("Interfaces"),gettext("GIF"),gettext("Edit")); +$pgtitle = array(gettext("Interfaces"), gettext("GIF"), gettext("Edit")); $shortcut_section = "interfaces"; include("head.inc"); -if ($input_errors) +if ($input_errors) { print_input_errors($input_errors); +} $form = new Form(); |