Browse code

Warnung wg. undefined index vermeiden wenn kein form_token gesetzt ist

Hanno Böck authored on 07/08/2018 20:28:46
Showing 1 changed files
... ...
@@ -292,7 +292,7 @@ function generate_form_token($form_id)
292 292
 
293 293
 function check_form_token($form_id, $formtoken = null)
294 294
 {
295
-    if ($formtoken == null) {
295
+    if ($formtoken == null && isset($_REQUEST['formtoken'])) {
296 296
         $formtoken = $_REQUEST['formtoken'];
297 297
     }
298 298
     $sessid = session_id();