Proof of concept:

[platal.git] / htdocs / preferences.php

diff --git a/htdocs/preferences.php b/htdocs/preferences.php
index 8d38ab9..b2cb4bb 100644 (file)
--- a/htdocs/preferences.php
+++ b/htdocs/preferences.php
@@ -1,6 +1,6 @@
 <?php
 /***************************************************************************
- *  Copyright (C) 2003-2004 Polytechnique.org                              *
+ *  Copyright (C) 2003-2006 Polytechnique.org                              *
  *  http://opensource.polytechnique.org/                                   *
  *                                                                         *
  *  This program is free software; you can redistribute it and/or modify   *
@@ -21,6 +21,7 @@
 
 require_once("xorg.inc.php");
 new_skinned_page('preferences.tpl', AUTH_COOKIE);
+$page->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());