Support JavaScript code in mask definitions

[misc/kostenrechnung] / lib / general.php

diff --git a/lib/general.php b/lib/general.php
index 6216e34..9900bf6 100644 (file)
--- a/lib/general.php
+++ b/lib/general.php
@@ -7,6 +7,12 @@ function passwd($login,$pass)
 
 function check_session()
 {
+  if (!empty($_SESSION['sys']['login']) && !empty($_GET['logout'])) {
+    session_destroy();
+    header('Location: ./?login=true');
+    exit();
+  }
+
   if (!empty($_POST['login']) && !empty($_POST['passwd'])) {
     require_once('lib/login.php');
     if (check_passwd()) {
@@ -29,6 +35,7 @@ function sanitise_filename($file)
 function load_mask($name)
 {
   global $mask;
+  global $jscode;
 
   $name = sanitise_filename($name);
   $file = $_SESSION['sys']['basedir'] . 'masks/' . $name . '.php';