diff options
author | Florian Dold <florian.dold@gmail.com> | 2017-03-08 15:30:39 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2017-03-08 15:30:45 +0100 |
commit | b4d1a07d51523c097ab951ddd25c35bd534c4f99 (patch) | |
tree | eeceb088a1efe569c9bb3b5aca6a16f212c79afc /bin/taler-deployment-restart | |
parent | f1e2cc161e5ece5c1a76e8fdb727de68b04ca93a (diff) | |
download | deployment-b4d1a07d51523c097ab951ddd25c35bd534c4f99.tar.gz deployment-b4d1a07d51523c097ab951ddd25c35bd534c4f99.tar.bz2 deployment-b4d1a07d51523c097ab951ddd25c35bd534c4f99.zip |
fix arm restart
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 |