From 345e9408335abf843e263716e075b3d6610b9238 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 23 Jun 2019 14:01:30 +0100 Subject: [PATCH] Default TCP port 21369 --- imperative/distributed/server/tcp.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/imperative/distributed/server/tcp.rkt b/imperative/distributed/server/tcp.rkt index 08497a7..9acd227 100644 --- a/imperative/distributed/server/tcp.rkt +++ b/imperative/distributed/server/tcp.rkt @@ -22,7 +22,7 @@ (send! (tcp-out id (encode p))) (when (Err? p) (stop-current-facet)))) -(define default-tcp-server-port 8001) +(define default-tcp-server-port 21369) (define (spawn-tcp-server! [port default-tcp-server-port]) (spawn #:name 'tcp-server-listener