From 87a2b0de476a6c9e8fe53669d116d75625d38d8a Mon Sep 17 00:00:00 2001
From: mafoo <github@mafoo.org>
Date: Fri, 22 Jan 2016 11:51:58 +0000
Subject: [PATCH] fix for when the element is not in the document yet

---
 app/operator_panel/index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/operator_panel/index.php b/app/operator_panel/index.php
index 481696d0ba..31827423b0 100644
--- a/app/operator_panel/index.php
+++ b/app/operator_panel/index.php
@@ -199,7 +199,7 @@ require_once "resources/header.php";
 //refresh controls
 	function refresh_stop() {
 		clearInterval(interval_timer_id);
-		document.getElementById('refresh_state').innerHTML = "<img src='resources/images/refresh_paused.png' style='width: 16px; height: 16px; border: none; margin-top: 1px; cursor: pointer;' onclick='refresh_start();' alt=\"<?php echo $text['label-refresh_enable']?>\" title=\"<?php echo $text['label-refresh_enable']?>\">";
+		if (document.getElementById('refresh_state')) { document.getElementById('refresh_state').innerHTML = "<img src='resources/images/refresh_paused.png' style='width: 16px; height: 16px; border: none; margin-top: 1px; cursor: pointer;' onclick='refresh_start();' alt=\"<?php echo $text['label-refresh_enable']?>\" title=\"<?php echo $text['label-refresh_enable']?>\">"; }
 	}
 
 	function refresh_start() {