unkown district

2024-02-22 10:33:50 +01:00
parent c1c4151300
commit 0a7db03af1
5 changed files with 18 additions and 54 deletions
--- a/impressum.php
+++ b/impressum.php
@@ -1,13 +1,9 @@
 <?php 
    session_start(); 
-    if (isset($_SESSION['district'])) 
-    {
-        $strDistrict=$_SESSION['district'];
-    }
-    else {
-        header("Location: start.php");
-    }
+    if (!isset($_SESSION['district'])) { header("Location: start.php");}
+    $strDistrict=$_SESSION['district'];
    require("config.php");
+    if ($strDistict=="unkown")  { header("Location: start.php");}
 ?>
 <!DOCTYPE html>
 <html lang="de">