projects
/
platal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix bug d'include de javascript lorsqu'on essaie de se logger depuis des pages comme...
[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
/***************************************************************************
<?php
/***************************************************************************
- * Copyright (C) 2003-200
4
Polytechnique.org *
+ * Copyright (C) 2003-200
6
Polytechnique.org *
* http://opensource.polytechnique.org/ *
* *
* This program is free software; you can redistribute it and/or modify *
* 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');
// }}}
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:
?>
// vim:set et sw=4 sts=4 sws=4 foldmethod=marker:
?>