From fdf775d835ee943ab89fc2c399e01fe762f268f8 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sat, 4 Feb 2023 16:27:02 +0100
Subject: [PATCH] Change port, include server config

---
 syndicate-examples/chat.pr  | 6 ++++++
 syndicate-examples/chat.rkt | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)
 create mode 100644 syndicate-examples/chat.pr

diff --git a/syndicate-examples/chat.pr b/syndicate-examples/chat.pr
new file mode 100644
index 0000000..bedae17
--- /dev/null
+++ b/syndicate-examples/chat.pr
@@ -0,0 +1,6 @@
+; syndicate-server -c chat.pr
+
+<require-service <relay-listener <tcp "0.0.0.0" 9001> $gatekeeper>>
+
+let ?ds = dataspace
+<bind "syndicate" #x"" $ds>
diff --git a/syndicate-examples/chat.rkt b/syndicate-examples/chat.rkt
index 7ce1e88..4bbcd4c 100644
--- a/syndicate-examples/chat.rkt
+++ b/syndicate-examples/chat.rkt
@@ -40,5 +40,5 @@
     (run-tcp-client-relay
      ds
      #:hostname "localhost"
-     #:port 8001
+     #:port 9001
      #:import (lambda (v) (gatekeeper-resolve (embedded-value v) ref on-connected)))))