From 2d31e86b05b1d4a39f1e900c100ec2657a7d0c3c Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 7 Oct 2021 18:11:15 +0200
Subject: [PATCH] Update configuration in run-server

---
 dev-scripts/benchmark-config.pr | 3 +++
 dev-scripts/run-server          | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 dev-scripts/benchmark-config.pr

diff --git a/dev-scripts/benchmark-config.pr b/dev-scripts/benchmark-config.pr
new file mode 100644
index 0000000..fb9a99d
--- /dev/null
+++ b/dev-scripts/benchmark-config.pr
@@ -0,0 +1,3 @@
+let ?root_ds = dataspace
+<require-service <relay-listener <tcp "0.0.0.0" 8001> $gatekeeper>>
+<bind "syndicate" #x"" $root_ds>
diff --git a/dev-scripts/run-server b/dev-scripts/run-server
index f2a3fe5..821a557 100755
--- a/dev-scripts/run-server
+++ b/dev-scripts/run-server
@@ -1,2 +1,2 @@
 #!/bin/sh
-make -C ../syndicate-server binary && exec taskset -c 0,1 ../target/release/syndicate-server -p 8001 "$@"
+make -C ../syndicate-server binary && exec taskset -c 0,1 ../target/release/syndicate-server -c benchmark-config.pr "$@"