diff options
| author | Determinant <[email protected]> | 2018-09-10 16:24:49 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-09-10 16:24:49 -0400 |
| commit | 8d5449339d3dacc31c614e27669ce6eb9eb11960 (patch) | |
| tree | f5164f02d35b1b3a5723a52ff4f05a300d794119 /scripts/run_client.sh | |
| parent | b425736e5ccb0eeba7a70df332a82dff619a42a8 (diff) | |
| parent | 95b193bb3b0bba62f168c7e2c3f45c54d4849e27 (diff) | |
Merge branch 'master' of /home/ymf/lwork/hot-stuff/code
Diffstat (limited to 'scripts/run_client.sh')
| -rwxr-xr-x | scripts/run_client.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/run_client.sh b/scripts/run_client.sh index 2ecdf31..7825c02 100755 --- a/scripts/run_client.sh +++ b/scripts/run_client.sh @@ -144,6 +144,7 @@ function _remote_start { local client_port="$5" local client_ip="$6" local cmd="${run_remote_pat//<rworkdir>/$rworkdir}" + cmd="${cmd//<node_id_step>/$node_id_step}" cmd="${cmd//<node_id>/$((node_id * node_id_step))}" cmd="${cmd//<server>/$node_ip:$client_port}" execute_remote_cmd_pid "$client_ip" "$cmd" \ |