diff options
Diffstat (limited to 'www/campsite/files/patch-campsite-remove-instance.php')
| -rw-r--r-- | www/campsite/files/patch-campsite-remove-instance.php | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/www/campsite/files/patch-campsite-remove-instance.php b/www/campsite/files/patch-campsite-remove-instance.php deleted file mode 100644 index 1a5e7aa9d6e2..000000000000 --- a/www/campsite/files/patch-campsite-remove-instance.php +++ /dev/null @@ -1,24 +0,0 @@ ---- implementation/utils/campsite-remove-instance.php.orig Wed Jul 12 21:49:26 2006 -+++ implementation/utils/campsite-remove-instance.php Thu Jul 13 09:17:11 2006 -@@ -10,6 +10,11 @@ - $arg3 = isset($GLOBALS['argv'][3]) ? trim($GLOBALS['argv'][3]) : ""; - $no_backup = $arg3 == '--no_backup'; - -+// include install_conf.php file -+require_once("$etc_dir/install_conf.php"); -+require_once($Campsite['BIN_DIR'] . "/cli_script_lib.php"); -+ -+ - if ($etc_dir == "") { - die("Please supply the configuration directory as the first argument.\n"); - } -@@ -21,9 +26,6 @@ - exit(1); - } - --// include install_conf.php file --require_once("$etc_dir/install_conf.php"); --require_once($Campsite['BIN_DIR'] . "/cli_script_lib.php"); - - if (!$no_backup) { - // backup instance |