Fix turning stats to zero by casting them to int before multiplying.

leanprover-community · Dec 28, 2024 · 52898d9 · 52898d9
1 parent 5f30572
commit 52898d9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 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 * parseInt(values[0]));
-        setUsageMem(100 * parseInt(values[1]));
+        setUsageCPU(100 * parseFloat(values[0]));
+        setUsageMem(100 * parseFloat(values[1]));
       }
     }).catch(err => {
       console.info('server stats unavailable')

diff --git a/relay/cpu_usage.py b/relay/cpu_usage.py
@@ -39,5 +39,5 @@ def measure_proc_stat() -> dict[str, int]:
   d_total = curr_total - prev_total
   d_idle = curr_idle - prev_idle
 
-  cpu_usage = ((d_total - d_idle)/d_total) * 100
-  print(round(cpu_usage, 20))
+  cpu_usage = ((d_total - d_idle)/d_total)
+  print(cpu_usage)
diff --git a/relay/stats.sh b/relay/stats.sh
@@ -7,6 +7,6 @@ cpu_usage=$L4G_DIR/lean4game/relay/cpu_usage.py
 # Execute python script
 cpu=$($python $cpu_usage)
 # Calculate memory usage by computing used_memory/total_memory
-mem=$(free | sed '2q;d' | awk '{print $3/$2*100}')
+mem=$(free | sed '2q;d' | awk '{print $3/$2}')
 
 printf "CPU, MEM\n%.2f, %.2f\n" $cpu $mem