get("Servers/$id") !== null; if ($mode == 'edit' && $server_exists) { $page_title = $GLOBALS['strSetupServersEdit'] . ' ' . $id . ' (' . $cf->getServerDSN($id) . ')'; } elseif ($mode == 'remove' && $server_exists) { $cf->removeServer($id); header('Location: index.php'); exit; } elseif ($mode == 'revert' && $server_exists) { // handled by process_formset() } else { $page_title = $GLOBALS['strSetupServersAdd']; $id = 0; } if (isset($page_title)) { echo '