aboutsummaryrefslogtreecommitdiff
path: root/run_replicas.sh
diff options
context:
space:
mode:
authorDeterminant <[email protected]>2018-07-17 20:02:52 -0400
committerDeterminant <[email protected]>2018-07-17 20:02:52 -0400
commite08bf4e6a40cf82822c50b1433a573d0d8800f80 (patch)
tree6b3ea8cabf94719f96dbacd176029a207a3920a6 /run_replicas.sh
parent02e347dae1a01172dbcc2efe054014c015d96507 (diff)
add PaceMakerDummyFixed
Diffstat (limited to 'run_replicas.sh')
-rwxr-xr-xrun_replicas.sh7
1 files changed, 6 insertions, 1 deletions
diff --git a/run_replicas.sh b/run_replicas.sh
index c106d42..213b6b7 100755
--- a/run_replicas.sh
+++ b/run_replicas.sh
@@ -1,5 +1,10 @@
#!/bin/bash
-for i in {0..3}; do
+rep=({0..3})
+if [[ $# -gt 0 ]]; then
+ rep=($@)
+fi
+for i in "${rep[@]}"; do
+ echo "starting replica $i"
#valgrind ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
done