From 92b8d663a034cd35fdc4191bcd8c8ce980931b61 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 08:05:41 +0100 Subject: immediately update leaderboard when loading page --- lambda-calcul/haskell/public/leaderboard.html | 1 - lambda-calcul/haskell/public/leaderboard.js | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/lambda-calcul/haskell/public/leaderboard.html b/lambda-calcul/haskell/public/leaderboard.html index 6f7ef91..22e01be 100644 --- a/lambda-calcul/haskell/public/leaderboard.html +++ b/lambda-calcul/haskell/public/leaderboard.html @@ -19,7 +19,6 @@ NameGradeLast test - Foo12 diff --git a/lambda-calcul/haskell/public/leaderboard.js b/lambda-calcul/haskell/public/leaderboard.js index 7541701..9490065 100644 --- a/lambda-calcul/haskell/public/leaderboard.js +++ b/lambda-calcul/haskell/public/leaderboard.js @@ -41,5 +41,6 @@ const updateLeaderboard = () => { }; document.addEventListener('DOMContentLoaded', () => { + updateLeaderboard(); setInterval(updateLeaderboard, 5000); }); -- cgit v1.3.1