diff options
author | Erich Eckner <git@eckner.net> | 2022-07-28 11:04:23 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2022-07-28 11:04:23 +0200 |
commit | 67f46d2982781be1d9197336710ff5ef614a0b3e (patch) | |
tree | dabd1b0b4702bc567c58656617d90bd4ebebef15 | |
parent | 524848a78f2f89db0e64738b0e4a103c263b3784 (diff) | |
download | colocation-67f46d2982781be1d9197336710ff5ef614a0b3e.tar.xz |
give better hints on machines page
-rw-r--r-- | html/maintenance.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/maintenance.php b/html/maintenance.php index 62805a9..23cd167 100644 --- a/html/maintenance.php +++ b/html/maintenance.php @@ -48,7 +48,7 @@ if (array_key_exists('machine',$_GET)) { while ($row = $result -> fetchArray()) { echo 'permission = "' . $row['name'] . '", key = "' . $row['key'] . '", comment = "' . $row['comment'] . '" <br>' . "\n"; } - echo 'done.' . "\n"; + echo '?machine=' . $_GET['machine'] . '&new_key=running&comment=comment' . "\n"; die(); } |