aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDeterminant <tederminant@gmail.com>2018-07-19 16:33:33 -0400
committerDeterminant <tederminant@gmail.com>2018-07-19 16:33:33 -0400
commit3c1cac7136b6fbc378c5bc86a50537794f2b6437 (patch)
tree6808e5c757fb9551b19dd2db3ceaae4625526a45
parent95316118206aeed718ae6260ef9b5a1a4a6dacd8 (diff)
...
-rwxr-xr-xrun_replicas.sh4
m---------salticidae0
2 files changed, 2 insertions, 2 deletions
diff --git a/run_replicas.sh b/run_replicas.sh
index 450dac3..a6cc553 100755
--- a/run_replicas.sh
+++ b/run_replicas.sh
@@ -5,7 +5,7 @@ if [[ $# -gt 0 ]]; then
fi
for i in "${rep[@]}"; do
echo "starting replica $i"
- valgrind --leak-check=full ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
- #./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
+ #valgrind --leak-check=full ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
+ ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
done
wait
diff --git a/salticidae b/salticidae
-Subproject b4bf23c07601560d708fbdd7c20aca20b630c98
+Subproject d54981cb19f923fab8c4aa1adc369076b8a5096