fixed git page auto-reloading to main page

2020-03-05 04:27:55 +01:00 · 2020-03-05 04:27:55 +01:00 · e83ac38649
parent e1e7ea9067
commit e83ac38649
1 changed files with 1 additions and 1 deletions
--- a/strassenkind.php
+++ b/strassenkind.php
@ -20,7 +20,7 @@ $git_commands = get_command_list("commands_git.conf");
    <title> Strassenkind Server Status Page </title>
    <link rel="stylesheet" type="text/css" href="style.css" />
    <?php
-    if (!isset($_POST['ondemand'])) {
+    if (!isset($_POST['ondemand']) || !isset($_POST['git'])) {
      echo "<meta http-equiv=\"refresh\" content=\"20\" />";
    }
    ?>