$name, 'ip' => $ip]; file_put_contents($env_file, json_encode($environments, JSON_PRETTY_PRINT)); header("Location: " . $_SERVER['PHP_SELF']); exit; } } // Verwerk verwijderen van omgeving if (isset($_GET['delete'])) { $index = intval($_GET['delete']); if (isset($environments[$index])) { array_splice($environments, $index, 1); file_put_contents($env_file, json_encode($environments, JSON_PRETTY_PRINT)); header("Location: " . $_SERVER['PHP_SELF']); exit; } } ?>

Node-RED Omgevingen Beheer

$env): ?>

IP-adres:

Open Node-RED Verwijderen