diff --git a/www/aptui/create-dataset.php b/www/aptui/create-dataset.php index 4d07c4e2758968679d04ee43d046f562915e8f18..66fff67841780d5a0b8686820683190df2ba3431 100644 --- a/www/aptui/create-dataset.php +++ b/www/aptui/create-dataset.php @@ -25,8 +25,8 @@ chdir(".."); include("defs.php3"); chdir("apt"); include("quickvm_sup.php"); -include("profile_defs.php"); -include("instance_defs.php"); +include_once("profile_defs.php"); +include_once("instance_defs.php"); # Must be after quickvm_sup.php since it changes the auth domain. $page_title = "Create Dataset"; diff --git a/www/aptui/instantiate.php b/www/aptui/instantiate.php index b18e2394b1a63907d4a94fdd6ebad22ad424e54a..9aa4b48dfadfa057bc24269c0835d9b8b723ccdd 100755 --- a/www/aptui/instantiate.php +++ b/www/aptui/instantiate.php @@ -28,8 +28,8 @@ include_once("geni_defs.php"); include_once("webtask.php"); chdir("apt"); include("quickvm_sup.php"); -include("instance_defs.php"); -include("profile_defs.php"); +include_once("instance_defs.php"); +include_once("profile_defs.php"); $page_title = "Instantiate a Profile"; $dblink = GetDBLink("sa"); diff --git a/www/aptui/landing.php b/www/aptui/landing.php index dbcad88b74e17254fdc4c18fd31bbe95a36c6263..02d53a39a4a0b24932f86e17df41a28e0141e771 100644 --- a/www/aptui/landing.php +++ b/www/aptui/landing.php @@ -1,6 +1,6 @@