circle sigh

This commit is contained in:
Ethan Buchman
2017-03-03 19:58:17 -05:00
parent 8192bb0aaf
commit 8352ec4e5d
3 changed files with 33 additions and 30 deletions
+5 -2
View File
@@ -45,8 +45,11 @@ function kill_procs(){
wait "$PID_TENDERMINT"
# wait for the ports to be released
#wait_for_port 46656
#wait_for_port 46657
wait_for_port 46656
wait_for_port 46657
# XXX: sometimes the port is still bound :(
sleep 2
}
# wait for port to be available