backport

Patches applied:

 * opensource@polytechnique.org--2005/platal--release--0.9.3--patch-15
   fix Adrien's bug

git-archimport-id: opensource@polytechnique.org--2005/platal--mainline--0.9--patch-202

diff --git a/include/xorg/page.inc.php b/include/xorg/page.inc.php
index faf8fd3..d4e0e68 100644 (file)
--- a/include/xorg/page.inc.php
+++ b/include/xorg/page.inc.php
@@ -151,6 +151,7 @@ class XorgPage extends DiogenesCorePage
         $this->_errors->trig($msg);
     }
 
+    // }}}
     // {{{ function trig()
 
     function trig_run($msg)

diff --git a/include/xorg/session.inc.php b/include/xorg/session.inc.php
index ddd62b3..b7ee199 100644 (file)
--- a/include/xorg/session.inc.php
+++ b/include/xorg/session.inc.php
@@ -199,7 +199,7 @@ function check_perms()
     if (!has_perms()) {
        require_once("diogenes.core.logger.inc.php");
        $_SESSION['log']->log("noperms",$_SERVER['PHP_SELF']);
-       $page->die("Tu n'as pas les permissions nécessaires pour accéder à cette page.");
+       $page->kill("Tu n'as pas les permissions nécessaires pour accéder à cette page.");
     }
 }