Default TCP port 21369

2019-06-23 14:01:30 +01:00 · 2019-06-23 14:01:30 +01:00 · 345e940833
parent f4beff6fb9
commit 345e940833
1 changed files with 1 additions and 1 deletions
--- 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