Browse Source

dev-scripts

relay-external-protocol
Tony Garnock-Jones 5 months ago
parent
commit
c4469dfa98
  1. 2
      dev-scripts/restarting-consumer
  2. 2
      dev-scripts/restarting-producer
  3. 2
      dev-scripts/restarting-state-consumer
  4. 2
      dev-scripts/restarting-state-producer
  5. 2
      dev-scripts/run-server

2
dev-scripts/restarting-consumer

@ -0,0 +1,2 @@
#!/bin/sh
while true; do ../target/release/examples/consumer "$@"; sleep 2; done

2
dev-scripts/restarting-producer

@ -0,0 +1,2 @@
#!/bin/sh
while true; do ../target/release/examples/producer "$@"; sleep 2; done

2
dev-scripts/restarting-state-consumer

@ -0,0 +1,2 @@
#!/bin/sh
while true; do ../target/release/examples/state-consumer "$@"; sleep 2; done

2
dev-scripts/restarting-state-producer

@ -0,0 +1,2 @@
#!/bin/sh
while true; do ../target/release/examples/state-producer "$@"; sleep 2; done

2
dev-scripts/run-server

@ -0,0 +1,2 @@
#!/bin/sh
make -C ../syndicate-server binary && exec taskset -c 0,1 ../target/release/syndicate-server "$@"
Loading…
Cancel
Save