Make server config properties optional

2026-08-30 22:46:43 +02:00 · 2026-08-30 22:46:43 +02:00 · 838f893938
commit 838f893938
parent c3c65493b7
3 changed files with 5 additions and 5 deletions
--- a/common.pkl
+++ b/common.pkl
@ -1,9 +1,9 @@
 module emgauwa.common

 class ServerConfig {
-  host: String
-  port: UInt16
-  token: String
+  host: String?
+  port: UInt16?
+  token: String?
 }

 /// Set to a user and a group to drop privileges to after binding to the port