Use require_once instead of require, in case these files have been loaded previously. Fixes #631

This commit is contained in:
jim-p 2010-06-03 15:37:32 -04:00
parent ae9618afa8
commit f81cfcc92e

View File

@ -44,14 +44,14 @@
##|*MATCH=interfaces.php*
##|-PRIV
require("guiconfig.inc");
require("ipsec.inc");
require("functions.inc");
require("captiveportal.inc");
require("filter.inc");
require("shaper.inc");
require("rrd.inc");
require("vpn.inc");
require_once("guiconfig.inc");
require_once("ipsec.inc");
require_once("functions.inc");
require_once("captiveportal.inc");
require_once("filter.inc");
require_once("shaper.inc");
require_once("rrd.inc");
require_once("vpn.inc");
if ($_REQUEST['if']) {
$if = $_REQUEST['if'];