From f22de29c02d81e788d4f1cac9057f11be49a64c8 Mon Sep 17 00:00:00 2001
From: Damian Tarnawski <gthetarnav@gmail.com>
Date: Sat, 20 Jan 2024 22:12:38 +0100
Subject: [PATCH] Fix type error in main.js

---
 main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.js b/main.js
index 746869f..a501a3f 100644
--- a/main.js
+++ b/main.js
@@ -55,7 +55,7 @@ const Command = {
 	Build: "build",
 }
 
-/** @type {Record<Command, (args: string[]) => void>} */
+/** @type {{[key in Command]?: (args: string[]) => void}} */
 const command_handlers = {
 	[Command.Dev]() {
 		let child = makeChildServer()