From 559465ecfa891da2b547c0e144e981a01ff4af33 Mon Sep 17 00:00:00 2001
From: Determinant <ted.sybil@gmail.com>
Date: Sat, 18 Aug 2018 16:28:32 -0400
Subject: add more scripts

---
 scripts/run_replicas.sh | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 scripts/run_replicas.sh

(limited to 'scripts/run_replicas.sh')

diff --git a/scripts/run_replicas.sh b/scripts/run_replicas.sh
deleted file mode 100755
index 5f54787..0000000
--- a/scripts/run_replicas.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/bash
-rep=({0..3})
-if [[ $# -gt 0 ]]; then
-    rep=($@)
-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 &
-    #gdb -ex r -ex bt -ex q --args ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
-    ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
-done
-wait
-- 
cgit v1.2.3-70-g09d2