From 458dbec5fd96095fa5a704bbfb3d4119d52d71ee Mon Sep 17 00:00:00 2001
From: Zlatin Balevsky <zlatinb@gmail.com>
Date: Sat, 7 Dec 2019 20:23:22 +0000
Subject: [PATCH] display a refresh link if the table needs updating

---
 webui/src/main/js/filesTable.js       | 6 ++++--
 webui/src/main/webapp/SharedFiles.jsp | 1 +
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/webui/src/main/js/filesTable.js b/webui/src/main/js/filesTable.js
index 8e4b1267..bbf43e89 100644
--- a/webui/src/main/js/filesTable.js
+++ b/webui/src/main/js/filesTable.js
@@ -24,10 +24,12 @@ function refreshStatus() {
 				hashingSpan.innerHTML = "";
 				
 			var newRevision = xmlDoc.getElementsByTagName("Revision")[0].childNodes[0].nodeValue
+			var refreshDiv = document.getElementById("refresh-link")
 			if (newRevision > tableRevision) {
 				tableRevision = newRevision
-				// TODO: let the user know they can refresh the table
-			}
+				refreshDiv.innerHTML = "<a href='#' onclick='refreshTable();return false;'>Refresh</a>"
+			} else
+				refreshDiv.innerHTML = ""
 		}
 	}
 	xmlhttp.open("GET", "/MuWire/Files?section=status", true)
diff --git a/webui/src/main/webapp/SharedFiles.jsp b/webui/src/main/webapp/SharedFiles.jsp
index 24639cf0..e4d76059 100644
--- a/webui/src/main/webapp/SharedFiles.jsp
+++ b/webui/src/main/webapp/SharedFiles.jsp
@@ -52,6 +52,7 @@ if (viewAs == null)
 				<div id="root"></div>
 			</ul>
 <% } else { %>
+			<div id="refresh-link"></div>
 			<div id="table-wrapper">
 				<div id="table-scroll">
 					<div id="filesTable"></div>