No RSS popup when the link points the RSS activation form.

[platal.git] / classes / session.php

diff --git a/classes/session.php b/classes/session.php
index 07f6fab..2cb755a 100644 (file)
--- a/classes/session.php
+++ b/classes/session.php
@@ -27,6 +27,10 @@ class Session
         if (empty($_SESSION['challenge'])) {
             $_SESSION['challenge'] = sha1(uniqid(rand(), true));
         }
+        if (empty($_SESSION['xsrf_token'])) {
+            require_once 'xorg.misc.inc.php';
+            $_SESSION['xsrf_token'] = rand_url_id();
+        }
         if (!isset($_SESSION['perms']) || !($_SESSION['perms'] instanceof FlagSet)) {
             $_SESSION['perms'] = new FlagSet();
         }
@@ -83,6 +87,22 @@ class Session
     {
         return Session::v('auth', AUTH_PUBLIC) >= AUTH_MDP;
     }
+
+    // Anti-XSRF protections.
+    public static function has_xsrf_token()
+    {
+        return Session::has('xsrf_token') && Session::v('xsrf_token') == Env::v('token');
+    }
+
+    public static function assert_xsrf_token()
+    {
+        if (!Session::has_xsrf_token()) {
+            global $page;
+            if ($page instanceof PlatalPage) {
+                $page->kill("L'opération n'a pas pu aboutir, merci de réessayer.");
+            }
+        }
+    }
 }
 
 // {{{ function check_perms()