fix typo in log

leanprover-community · Nov 20, 2023 · 4a6c567 · 4a6c567
1 parent b5c0895
commit 4a6c567
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/server/WebsocketServer.js b/server/WebsocketServer.js
@@ -133,7 +133,7 @@ class WebsocketServer {
 
   logStats() {
     console.log(`[${new Date()}] Number of open sockets - ${this.socketCounter}`)
-    console.log(`[${new Date()}] Free RAM - ${Math.round(os.freemem() / 1024 / 1024)} / ${Math.round(os.totalmem() / 1024 / 1024)} GB`)
+    console.log(`[${new Date()}] Free RAM - ${Math.round(os.freemem() / 1024 / 1024)} / ${Math.round(os.totalmem() / 1024 / 1024)} MB`)
   }
 }