diff --git a/templates/solutions.html b/templates/solutions.html
index d3e8cab..1255f5e 100644
--- a/templates/solutions.html
+++ b/templates/solutions.html
@@ -7,7 +7,9 @@
}
function doPoll() {
jQuery.get('/solutions_table?task_id={{ task.id }}&page=' + page.toString(), function(data) {
- document.getElementById('solutions').innerHTML = data;
+ var e = document.getElementById('solutions');
+ if (e.innerHTML !== data)
+ e.innerHTML = data;
const name = "page_num_" + page.toString();
elem = document.getElementById(name);
if (elem) {
diff --git a/templates/task.html b/templates/task.html
index 56d1f80..2dc7bcf 100644
--- a/templates/task.html
+++ b/templates/task.html
@@ -25,7 +25,9 @@
}
function doPoll() {
jQuery.get('/solutions_table?task_id={{ task.id }}&username={{ user.username }}&page=' + page.toString(), function(data) {
- document.getElementById('solutions').innerHTML = data;
+ var e = document.getElementById('solutions');
+ if (e.innerHTML !== data)
+ e.innerHTML = data;
const name = "page_num_" + page.toString();
elem = document.getElementById(name);
if (elem) {