parse CPU/MEM usage as integer.

leanprover-community · Nov 25, 2024 · 0e58e81 · 0e58e81
1 parent f0aa6b5
commit 0e58e81
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/client/src/components/landing_page.tsx b/client/src/components/landing_page.tsx
@@ -134,8 +134,8 @@ function LandingPage() {
       }
       if (line2) {
         let values = line2.split(',')
-        setUsageCPU(100 * Number(values[0]));
-        setUsageMem(100 * Number(values[1]));
+        setUsageCPU(100 * parseInt(values[0]));
+        setUsageMem(100 * parseInt(values[1]));
       }
     }).catch(err => {
       console.info('server stats unavailable')