server: port should be a number

urbit · Apr 19, 2022 · 6099013 · 6099013
1 parent 1b1388a
commit 6099013
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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",