efd4971
e08bf4e ^
1
2 3 4 5 6 7
8 9 10 11
#!/bin/bash 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 wait