* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
**/
require_once dirname(dirname(__FILE__)) . '/includes/core-minimal.inc.php';
require_once dirname(dirname(__FILE__)) . '/includes/page_template_static.php';
if (!array_key_exists('errormsg', $_SESSION)) {
// This page is only used to display error.
// If there is no error, we redirect to index.php
redirect('index.php');
}
$errors = array_unique($_SESSION['errormsg']);
unset($_SESSION['errormsg']);
header_static(DEFAULT_PAGE_TITLE . ' - ' . _('Error'));
echo '<h2 class="centered">' . _('Error') . '</h2>';
echo '<div class="centered">';
if (count($errors) > 0) {
echo '<div id="adminError">';
echo '<span class="msg_error">';
if (count($errors) > 1) {
echo '<ul>';
foreach ($errors as $error_msg) {
echo '<li>' . $error_msg . '</li>';
}
echo '</ul>';
} else {
echo $errors[0];
}
echo '</span>';
// configuration saved
popup_info(_('Configuration successfully saved'));
redirect('index.php');
} else {
header_static(_('Configuration'));
echo 'problem : configuration not saved<br>';
// TODO (class msg...) + gettext
footer_static();
}
} else {
// conf not valid
if ($setup) {
popup_error('Error : ' . $ret);
redirect('configuration.php?action=init');
} else {
header_static(_('Configuration'));
echo '<p class="msg_error centered">' . $ret . '</p>';
print_prefs($prefs);
footer_static();
}
}
} else {
$can_manage_configuration = isAuthorized('manageConfiguration');
if (isset($_GET['action']) && $_GET['action'] == 'init') {
try {
$prefs = new Preferences_admin();
} catch (Exception $e) {
}
$prefs->initialize();
require_once dirname(__FILE__) . '/includes/page_template.php';
page_header();
if (isset($_SESSION['admin_ovd_user'])) {
unset($_SESSION['admin_ovd_user']);
}
adminAuthenticate($_POST['admin_login'], $_POST['admin_password']);
}
if (array_key_exists('service', $_SESSION) and array_key_exists('admin_login', $_SESSION) and array_key_exists('admin_password', $_SESSION)) {
if (isset($_SESSION['redirect'])) {
$buf = base64_decode($_SESSION['redirect']);
unset($_SESSION['redirect']);
redirect($buf);
} else {
redirect('index.php');
}
}
$main_title = DEFAULT_PAGE_TITLE;
header_static($main_title . ' - ' . _('Administration'));
?>
<script type="text/javascript">
Event.observe(window, 'load', function() {
$('admin_login').focus();
});
</script>
<h2 class="centered"><?php
echo _('Log in');
?>
</h2>
<div id="login_box" class="centered">
<div id="login_status"></div>
<?php
