From e83ac3864915688e3a8f9f6cd93c7b4eba1941b9 Mon Sep 17 00:00:00 2001
From: BodgeMaster <>
Date: Thu, 5 Mar 2020 04:27:55 +0100
Subject: [PATCH] fixed git page auto-reloading to main page

---
 strassenkind.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/strassenkind.php b/strassenkind.php
index 7a948d7..3cfc793 100644
--- 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\" />";
     }
     ?>