melder/admin/logout.php

<?php

session_start();
if (isset($_SESSION['district'])) {
    $strDistrict=$_SESSION['district'];
}
session_destroy();
session_start();
$_SESSION['district']=$strDistrict;

header ("Location: ../index.php");
Alter Version 2024-02-16 15:35:01 +01:00			`<?php`

			`session_start();`
Admin User 2024-02-21 19:42:20 +01:00			`if (isset($_SESSION['district'])) {`
			`$strDistrict=$_SESSION['district'];`
			`}`
Alter Version 2024-02-16 15:35:01 +01:00			`session_destroy();`
Admin User 2024-02-21 19:42:20 +01:00			`session_start();`
			`$_SESSION['district']=$strDistrict;`

Alter Version 2024-02-16 15:35:01 +01:00			`header ("Location: ../index.php");`