From 4c0eb8c043682c76355ead31f651faa495b12ecc Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Mon, 4 Dec 2023 15:08:24 +0100
Subject: [PATCH] small typing correction

---
 ToposServer/server.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ToposServer/server.js b/ToposServer/server.js
index ecddb94..167576e 100644
--- a/ToposServer/server.js
+++ b/ToposServer/server.js
@@ -78,7 +78,7 @@ const formatAndTypeMessage = (message) => {
     if (typeof arg === 'number')
       return {type: 'f', value: arg};
     if (typeof arg === 'boolean')
-      return {type: 'f', value: arg ? 1 : 0};
+      return value ? {type: 'T', value: true} : {type: 'F', value: false};
   })
 
   newMessage.args = args