2024-02-16 15:35:01 +01:00
|
|
|
<?php
|
|
|
|
|
|
|
|
session_start();
|
2024-02-21 19:42:20 +01:00
|
|
|
if (isset($_SESSION['district'])) {
|
|
|
|
$strDistrict=$_SESSION['district'];
|
|
|
|
}
|
2024-02-16 15:35:01 +01:00
|
|
|
session_destroy();
|
2024-02-21 19:42:20 +01:00
|
|
|
session_start();
|
|
|
|
$_SESSION['district']=$strDistrict;
|
|
|
|
|
2024-02-16 15:35:01 +01:00
|
|
|
header ("Location: ../index.php");
|