Provide new option processing guidance for run.pl

friguzzi · Oct 21, 2021 · 27a501c · 27a501c
1 parent dd1db9e
commit 27a501c
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/run.pl b/run.pl
@@ -67,3 +67,11 @@
     ),
     server(Address).
 
+opt_type(port,   port,   natural).
+opt_type(p,      port,   natural).
+opt_type(public, public, boolean).
+
+opt_help(port,    "TCP/IP port to bind to").
+opt_help(public,  "Connect to all interfaces instead of only to localhost").
+
+opt_meta(port, 'PORT').