migrate referent + profile edition

[platal.git] / include / platal.inc.php

diff --git a/include/platal.inc.php b/include/platal.inc.php
index 769261a..6662e9d 100644 (file)
--- a/include/platal.inc.php
+++ b/include/platal.inc.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   *
@@ -43,6 +43,18 @@ define('NO_SKIN', 1);
 require_once('platal/env.inc.php');
 
 // }}}
+// {{{ function redirect
+
+function redirect($page)
+{
+    if (count($_SESSION)) {
+        session_write_close();
+    }
+    header("Location: $page");
+    exit;
+}
+
+// }}}
 
 // vim:set et sw=4 sts=4 sws=4 foldmethod=marker:
 ?>