CZI_presence_detector/website/index.php

193 lines
6 KiB
PHP
Raw Normal View History

<?php
2023-08-16 16:46:54 +02:00
session_start();
2023-08-13 22:08:35 +02:00
define('IDENTITIES_FILE', 'identities.json');
define('PRESENT_FILE', 'present.json');
2023-08-16 17:40:32 +02:00
define('NAME_PATTERN', "^([ a-zA-Z0-9'\-]){1,30}$");
2023-08-16 16:46:54 +02:00
define('MAC_PATTERN', "^([0-9A-Fa-f]{2}[:-s]){5}([0-9A-Fa-f]{2})$");
define('PAGE_TITLE', 'CZI Presence Detector');
2023-08-17 21:23:49 +02:00
$present = file_exists(PRESENT_FILE)
? json_decode(file_get_contents(PRESENT_FILE), true)
: ["timestamp" => 0, "names" => []];
$tz = 'Europe/Berlin';
$datetime = new DateTime("now", new DateTimeZone($tz));
$datetime->setTimestamp($present["timestamp"]);
2023-08-16 16:46:54 +02:00
function hash_mac($mac)
{
2023-08-13 22:08:35 +02:00
$normalized_mac = str_replace('-', ':', strtolower($mac));
$hashed_mac = hash('sha256', $normalized_mac);
2023-08-13 22:08:35 +02:00
return $hashed_mac;
}
2023-08-16 16:46:54 +02:00
function add_identity($name, $mac)
{
2023-08-13 22:08:35 +02:00
if (
2023-08-16 16:46:54 +02:00
preg_match('/' . NAME_PATTERN . '/', $name) != 1 ||
preg_match('/' . MAC_PATTERN . '/', $mac) != 1
) {
http_response_code(400);
die("Bad data");
}
$hashed_mac = hash_mac($mac);
2023-08-17 21:23:49 +02:00
$identities = file_exists(IDENTITIES_FILE)
? json_decode(file_get_contents(IDENTITIES_FILE), true)
: [];
2023-08-16 16:46:54 +02:00
$url = strtok($_SERVER['REQUEST_URI'], '?');
foreach ($identities as $identity) {
//if ($identity['name'] == $name) {
// $_SESSION['form_success'] = false;
// $_SESSION['form_success_message'] = 'Name already in use, please choose a different one.';
// header("Location: " . $url, true, 303);
// exit();
//}
2023-08-16 16:46:54 +02:00
if ($identity['mac_hash'] == $hashed_mac) {
$_SESSION['form_success'] = false;
$_SESSION['form_success_message'] = 'MAC already set up, please remove it first to change name.';
header("Location: " . $url, true, 303);
exit();
}
}
array_push($identities, array("name" => $name, "mac_hash" => $hashed_mac));
file_put_contents(IDENTITIES_FILE, json_encode($identities));
$_SESSION['form_success'] = true;
$_SESSION['form_success_message'] = 'Identity successfully saved.';
header("Location: " . $url, true, 303);
exit();
2023-08-13 22:08:35 +02:00
}
function remove_identity($name)
2023-08-16 16:46:54 +02:00
{
if (preg_match('/' . NAME_PATTERN . '/', $name) != 1) {
2023-08-16 16:46:54 +02:00
http_response_code(400);
die("Bad data");
}
2023-08-13 22:08:35 +02:00
2023-08-16 16:53:38 +02:00
$url = strtok($_SERVER['REQUEST_URI'], '?');
2023-08-17 21:23:49 +02:00
$identities = file_exists(IDENTITIES_FILE)
? json_decode(file_get_contents(IDENTITIES_FILE), true)
: [];
2023-08-16 16:46:54 +02:00
$new_identities = array();
2023-08-13 22:08:35 +02:00
2023-08-16 16:46:54 +02:00
foreach ($identities as $identity) {
if ($identity['name'] != $name) {
2023-08-13 22:08:35 +02:00
array_push($new_identities, $identity);
}
2023-08-16 17:02:45 +02:00
}
file_put_contents(IDENTITIES_FILE, json_encode($new_identities));
2023-08-13 22:08:35 +02:00
2023-08-16 17:02:45 +02:00
if (count($identities) > count($new_identities)) {
2023-08-16 16:46:54 +02:00
$_SESSION['form_success'] = true;
$_SESSION['form_success_message'] = 'Identity successfully removed.';
2023-08-16 17:02:45 +02:00
} else {
$_SESSION['form_success'] = false;
$_SESSION['form_success_message'] = 'Identity not found.';
}
2023-08-16 16:53:38 +02:00
header("Location: " . $url, true, 303);
exit();
2023-08-13 22:08:35 +02:00
}
2023-08-13 22:08:35 +02:00
if ($_SERVER['REQUEST_METHOD'] == "POST") {
if (
2023-08-16 16:46:54 +02:00
isset($_POST['name']) &&
2023-08-13 22:08:35 +02:00
isset($_POST['mac'])
) {
add_identity($_POST['name'], $_POST['mac']);
} else if (isset($_POST['remove-name'])) {
remove_identity($_POST['remove-name']);
2023-08-13 22:08:35 +02:00
}
}
?>
<html>
2023-08-16 16:46:54 +02:00
<head>
<title><?php echo PAGE_TITLE; ?></title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link href="bootstrap/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-4bw+/aepP/YC94hEpVNVgiZdgIC5+VKNBQNGCHeKRQN+PtmoHDEXuppvnDJzQIu9" crossorigin="anonymous">
<script src="bootstrap/js/bootstrap.bundle.min.js" integrity="sha384-HwwvtgBNo3bZJJLYd8oVXjrBZt8cqVSpeBNS5n7C8IVInixGAoxmnlMuBnhbgrkm" crossorigin="anonymous"></script>
</head>
<body>
<nav class="navbar navbar-light bg-light justify-content-between" style="padding: 0">
2023-08-16 16:46:54 +02:00
<span class="navbar-brand mb-0 h1" style="padding-left: 1rem"><?php echo PAGE_TITLE; ?></span>
</nav>
<div id="content" style="padding: 2rem;">
<h2>Jetzt gerade im CZI <small>(letztes Update von <?php echo $datetime->format('H:i:s d.m.Y'); ?>)</small></h2><br>
<table class="table">
<thead>
<tr>
<th>Name</th>
2023-08-16 16:46:54 +02:00
</tr>
</thead>
2023-08-16 16:46:54 +02:00
<?php
foreach ($present["names"] as $name) {
?>
2023-08-16 16:46:54 +02:00
<tr>
<td><?php echo $name; ?></td>
</tr>
<?php
}
?>
</table>
2023-08-13 22:08:35 +02:00
<br><br>
<?php
2023-08-16 16:46:54 +02:00
if (isset($_SESSION['form_success'])) {
if ($_SESSION['form_success'] === false) {
?>
<div class="alert alert-danger" role="alert">
<?php echo $_SESSION['form_success_message']; ?>
</div>
2023-08-13 22:08:35 +02:00
<?php
2023-08-16 16:46:54 +02:00
} else if ($_SESSION['form_success'] === true) {
2023-08-13 22:08:35 +02:00
?>
2023-08-16 16:46:54 +02:00
<div class="alert alert-success" role="alert">
<?php echo $_SESSION['form_success_message']; ?>
</div>
<?php
}
unset($_SESSION['form_success']);
unset($_SESSION['form_success_message']);
} ?>
2023-08-16 16:49:05 +02:00
<div class="row justify-content-start row-cols-sm-1 row-cols-md-1 row-cols-lg-2 row-cols-xl-3">
2023-08-13 22:08:35 +02:00
<div class="col col-md-4">
<div class="card" style="max-width: 30rem;">
<div class="card-body">
<h5 class="card-title">Neues Gerät tracken</h5>
<form method="POST">
2023-08-16 17:40:32 +02:00
<input class="form-control" type="text" name="name" pattern="<?php echo NAME_PATTERN; ?>" placeholder="Name" value="" required /><br>
<input class="form-control" type="text" name="mac" pattern="<?php echo MAC_PATTERN; ?>" placeholder="MAC-Adresse" value="" required /><br>
2023-08-13 22:08:35 +02:00
<button class="btn btn-primary" type="submit">Speichern</button>
</form>
</div>
</div>
</div>
<div class="col col-md-4">
<div class="card" style="max-width: 30rem;">
<div class="card-body">
<h5 class="card-title">Gerät entfernen</h5>
<form method="POST">
<input class="form-control" type="text" name="remove-name" pattern="<?php echo NAME_PATTERN; ?>" placeholder="Name" value="" required /><br>
2023-08-13 22:08:35 +02:00
<button class="btn btn-primary" type="submit">Entfernen</button>
</form>
</div>
</div>
</div>
</div>
</div>
2023-08-16 16:46:54 +02:00
</body>
</html>