diff options
author | Determinant <[email protected]> | 2018-08-18 16:28:32 -0400 |
---|---|---|
committer | Determinant <[email protected]> | 2018-08-18 16:28:32 -0400 |
commit | 559465ecfa891da2b547c0e144e981a01ff4af33 (patch) | |
tree | e8d72598ab5bdd81383226349d000ef060c740fd /scripts/run.sh | |
parent | 7c5f0eb6222639ecb9e2e8422481e4f5f87ba721 (diff) |
add more scripts
Diffstat (limited to 'scripts/run.sh')
-rwxr-xr-x | scripts/run.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/run.sh b/scripts/run.sh index 48e4ef7..53d9923 100755 --- a/scripts/run.sh +++ b/scripts/run.sh @@ -4,7 +4,7 @@ proj_server_bin="hotstuff-app" proj_server_path="/home/ted/hot-stuff/$proj_server_bin" proj_conf_name="hotstuff.conf" -peer_list="./nodes.txt" # the list of peers (without the controller) +peer_list="./nodes.txt" # the list of nodes conf_src="./hotstuff.gen.conf" server_map="./server_map.txt" # optional mapping from node ip to server ip template_dir="template" # the dir that keeps the content shared among all nodes @@ -211,7 +211,7 @@ function start_all { cp "$server_map" "$workdir/server_map.txt" get_node_info "$workdir/peer_list.txt" get_server_map "$workdir/server_map.txt" - echo "generating configuration file using $peer_list" + echo "copying configuration file" cp "$conf_src" "$tmpldir/$proj_conf_name" for rid in "${!nodes[@]}"; do local node_tmpldir="$workdir/$rid" |