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 + $gatekeeper>> + 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 "$@"