fix fetch url for stats

leanprover-community · Sep 29, 2024 · 1466a41 · 1466a41
1 parent 3cdb9a0
commit 1466a41
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/client/src/components/landing_page.tsx b/client/src/components/landing_page.tsx
@@ -122,7 +122,7 @@ function LandingPage() {
 
   /** Parse `games/stats.csv` if present and display server capacity. */
   React.useEffect(() => {
-    fetch('games/stats.csv')
+    fetch(`${window.location.origin}/data/stats`)
     .then(response => {if (response.ok) {
       return response.text() } else {throw ""}})
     .then(data => {
@@ -138,8 +138,7 @@ function LandingPage() {
         setUsageMem(100 * Number(values[1]));
       }
     }).catch(err => {
-      console.info('games/stats.csv does not exist')
-      console.info(err)
+      console.info('stats.csv does not exist.')
     })