diff options
Diffstat (limited to 'bin/taler-deployment-restart')
| -rwxr-xr-x | bin/taler-deployment-restart | 14 |
1 files changed, 7 insertions, 7 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 |