From 097d01ef3870ea959330d40f7e05ba3f5e532401 Mon Sep 17 00:00:00 2001
From: Tobias Werth <werth@cs.fau.de>
Date: Fri, 17 Oct 2025 07:35:14 +0200
Subject: [PATCH] Attempt to fix memory leak in AJAX refresh.

As reported in https://github.com/DOMjudge/domjudge/issues/3148
---
 webapp/public/js/domjudge.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webapp/public/js/domjudge.js b/webapp/public/js/domjudge.js
index 371ae20e92..adda8be0bb 100644
--- a/webapp/public/js/domjudge.js
+++ b/webapp/public/js/domjudge.js
@@ -588,7 +588,7 @@ function processAjaxResponse(jqXHR, data) {
         if ($refreshTarget.data('ajax-refresh-before')) {
             window[$refreshTarget.data('ajax-refresh-before')]();
         }
-        $refreshTarget.html($data);
+        $refreshTarget.empty().html($data);
         if ($refreshTarget.data('ajax-refresh-after')) {
             window[$refreshTarget.data('ajax-refresh-after')]();
         }