From 89d064d65e332cc3250ea01cd19c1368f82e0f79 Mon Sep 17 00:00:00 2001
From: Mark Crane <markjcrane@gmail.com>
Date: Tue, 10 Jun 2014 07:06:26 +0000
Subject: [PATCH] More adjustments to refresh interval

---
 app/registrations/status_registrations.php | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/app/registrations/status_registrations.php b/app/registrations/status_registrations.php
index 906208b345..34d3ea05d6 100644
--- a/app/registrations/status_registrations.php
+++ b/app/registrations/status_registrations.php
@@ -135,7 +135,7 @@ require_once "resources/check_auth.php";
 				$refresh = $_SESSION['registrations']['refresh']['numeric'];
 			}
 			else {
-				$_SESSION['registrations']['refresh']['numeric'] = 0;
+				$refresh = 0;
 			}
 
 			echo "<script>\n";
@@ -151,11 +151,9 @@ require_once "resources/check_auth.php";
 			echo "			<input type='button' class='btn' value='".$text['button-back']."' onclick=\"history.back();\" />\n";
 			echo "		</td>\n";
 			echo "		<td style='vertical-align: middle;'>\n";
-			echo "			<input type='button' class='btn' value='".$text['button-refresh']."' onclick=\"Refresh(document.getElementById('Refresh').value);\" />\n";
+			echo "			<input type='button' class='btn' value='".$text['button-refresh']."' onclick=\"Refresh(".$refresh.");\" />\n";
 			echo "			<script>\n";
-			echo "				if (document.getElementById('Refresh').value != '0') {\n";
 			echo "					setTimeout(\"Refresh(".$refresh.")\" , (".$refresh." * 1000));\n";
-			echo "				}\n";
 			echo "			</script>\n";
 			echo "		</td>\n";
 			echo "	</tr>\n";