fix: added missing <hr />

2020-02-12 06:23:02 +01:00 · 2020-02-12 06:23:02 +01:00 · 14e540f405
parent 732f391fec
commit 14e540f405
1 changed files with 1 additions and 1 deletions
--- a/strassenkind.php
+++ b/strassenkind.php
@ -32,7 +32,7 @@ echo "Done.";
    if (!isset($_POST['ondemand'])) {
      echo "<form action=\"\" method=\"post\"><input type=\"submit\" value=\"Run ondemand commands\" name=\"ondemand\" /></form><hr />";
    } else {
-      echo "<a href=\"\"><button> Return to regular status commands </button></a>";
+      echo "<a href=\"\"><button> Return to regular status commands </button></a><hr />";
    }
    ?>
    <?php