X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;ds=sidebyside;f=htdocs%2Fpreferences.php;h=b2cb4bb71dc56f005b46133dd651590135b6fb03;hb=50bb478d80b5ed9512bc1e1ff45c230c04f96b58;hp=8d38ab94935ee9b74d69222b2a279558a980eac5;hpb=0337d704b62718d7c77106c0e4c4e26fb02beacf;p=platal.git diff --git a/htdocs/preferences.php b/htdocs/preferences.php index 8d38ab9..b2cb4bb 100644 --- a/htdocs/preferences.php +++ b/htdocs/preferences.php @@ -1,6 +1,6 @@ assign('xorg_title','Polytechnique.org - Mes préférences'); if (Env::has('mail_fmt')) { $fmt=Env::get('mail_fmt'); @@ -29,7 +30,7 @@ if (Env::has('mail_fmt')) { SET core_mail_fmt = '$fmt' WHERE user_id = {?}", Session::getInt('uid')); $_SESSION['mail_fmt'] = $fmt; - header('Location: preferences.php'); + redirect('preferences.php'); } if (Env::has('rss')) { @@ -41,7 +42,7 @@ if (Env::has('rss')) { $globals->xdb->execute('UPDATE auth_user_quick SET core_rss_hash="" WHERE user_id={?}', Session::getInt('uid')); Session::kill('core_rss_hash'); } - header('Location: preferences.php'); + redirect('preferences.php'); } $page->assign('prefs', $globals->hook->prefs());