From e08bf4e6a40cf82822c50b1433a573d0d8800f80 Mon Sep 17 00:00:00 2001
From: Determinant <tederminant@gmail.com>
Date: Tue, 17 Jul 2018 20:02:52 -0400
Subject: add PaceMakerDummyFixed

---
 run_replicas.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'run_replicas.sh')

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
-- 
cgit v1.2.3