{$if}";
return true;
}
}
return false;
}
if ($_GET['act'] == "del") {
/* check if still in use */
if (gif_inuse($_GET['id'])) {
$input_errors[] = "This gif TUNNEL cannot be deleted because it is still being used as an interface.";
} else {
mwexec("/sbin/ifconfig " . $a_gifs[$_GET['id']]['gifif'] . " destroy");
unset($a_gifs[$_GET['id']]);
write_config();
header("Location: interfaces_gif.php");
exit;
}
}
$pgtitle = array("Interfaces","gif");
include("head.inc");
?>
