]> gitweb.factorcode.org Git - factor.git/commitdiff
gemini.server: better default port.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 15 Mar 2021 22:30:08 +0000 (15:30 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 15 Mar 2021 22:30:08 +0000 (15:30 -0700)
extra/gemini/server/server.factor

index 2d63416849014c9e929f57cbf8bcc0511dc32b50..318183b1a77b1078cbc8760632a2c59f571324bf 100644 (file)
@@ -112,7 +112,7 @@ PRIVATE>
 
 : gemini-server-main ( -- )
     command-line get ?first "." or
-    1234 <gemini-server> start-server wait-for-server ;
+    1965 <gemini-server> start-server wait-for-server ;
 
 MAIN: gemini-server-main