diff options
Diffstat (limited to 'install.php')
| -rw-r--r-- | install.php | 18 |
1 files changed, 2 insertions, 16 deletions
diff --git a/install.php b/install.php index a37ffa773..4189c22bc 100644 --- a/install.php +++ b/install.php @@ -1,7 +1,6 @@ <?php // $Id$ -$install = TRUE; require_once './includes/install.inc'; /** @@ -49,7 +48,7 @@ function install_main() { $profile = preg_replace('/[^a-zA-Z_0-9]/', '', $_GET['profile']); } elseif ($profile = install_select_profile()) { - _install_goto("install.php?profile=$profile"); + install_goto("install.php?profile=$profile"); } else { _install_no_profile_error(); @@ -291,7 +290,7 @@ function install_settings_submit($form_id, $form_values) { drupal_rewrite_settings($settings); // Continue to install profile step - _install_goto("install.php?profile=$profile"); + install_goto("install.php?profile=$profile"); } /** @@ -401,17 +400,4 @@ function install_complete($profile) { print theme('maintenance_page', $output); } -/** - * Send the user to a different installer page. This issues an on-site HTTP - * redirect. Messages (and errors) are erased. - * - * @param $path - * An installer path. - */ -function _install_goto($path) { - global $base_path; - header('Location: '. $base_path . $path); - exit(); -} - install_main(); |