diff options
-rwxr-xr-x | bin/taler-deployment-restart | 14 | ||||
-rwxr-xr-x | bin/taler-deployment-stop | 2 |
2 files changed, 8 insertions, 8 deletions
diff --git a/bin/taler-deployment-restart b/bin/taler-deployment-restart index 6a63fbe..2cb0188 100755 --- a/bin/taler-deployment-restart +++ b/bin/taler-deployment-restart @@ -2,15 +2,15 @@ base=$HOME -export PATH="$base/deployment":$PATH +export PATH="$base/deployment/bin":$PATH ulimit -c $((100 * 1024)) cd $HOME -# the following commands must (?) be called by absolute -# path because buildbot ignores PATH set above. That -# of course works just on systems having everything in the -# 'right' place. -$HOME/deployment/bin/taler-deployment-arm -e -T 1s &>/dev/null -$HOME/deployment/bin/taler-deployment-start +if taler-deployment-arm -T 300ms -I; then + # looks like deployment is running, stop it + taler-deployment-arm -e -T 10s &>/dev/null +fi + +taler-deployment-start diff --git a/bin/taler-deployment-stop b/bin/taler-deployment-stop index cfaa3b3..223bcaa 100755 --- a/bin/taler-deployment-stop +++ b/bin/taler-deployment-stop @@ -8,4 +8,4 @@ ulimit -c $((100 * 1024)) cd $HOME -taler-deployment-arm -e -T 1s &>/dev/null +taler-deployment-arm -e -T 5s &>/dev/null |