From 60990132a20dfedb46a610da022eb256bf01ae14 Mon Sep 17 00:00:00 2001
From: Hunter Miller <hunter@hmiller.dev>
Date: Tue, 19 Apr 2022 15:25:28 -0500
Subject: [PATCH] server: port should be a number

---
 src/server.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/server.ts b/src/server.ts
index 4234166..f39bce4 100644
--- a/src/server.ts
+++ b/src/server.ts
@@ -177,7 +177,8 @@ class Server {
     port: {
       alias: "p",
       default: 80,
-      description: "HTTP port of the running urbit"
+      description: "HTTP port of the running urbit",
+      type: "number"
     },
     delay: {
       alias: "d",