diff options
| author | Erich Eckner <git@eckner.net> | 2022-07-28 09:56:53 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-07-28 09:56:53 +0200 |
| commit | 0fde09f12b965912be7f731d70a7869750d2d821 (patch) | |
| tree | 8686d56ba45444f853fd38828aa6857cf859c754 | |
| parent | 88e103f810307541f71d54cb66f2dc1a0e67cfae (diff) | |
| download | colocation-0fde09f12b965912be7f731d70a7869750d2d821.tar.xz | |
print EOF
| -rw-r--r-- | html/maintenance.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html/maintenance.php b/html/maintenance.php index cf3ab62..f6b18ce 100644 --- a/html/maintenance.php +++ b/html/maintenance.php @@ -74,6 +74,7 @@ if (array_key_exists('machine',$_GET)) { while ($row = $result -> fetchArray()) { echo 'permission = "' . $row['name'] . '", key = "' . $row['key'] . '"' . "\n"; } + echo 'done.' . "\n"; die(); } |