diff options
Diffstat (limited to 'bin/taler-deployment-restart-with-eufin')
-rwxr-xr-x | bin/taler-deployment-restart-with-eufin | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/bin/taler-deployment-restart-with-eufin b/bin/taler-deployment-restart-with-eufin deleted file mode 100755 index 0f945bd..0000000 --- a/bin/taler-deployment-restart-with-eufin +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/bash - -set -eu - -base=$HOME - -export PATH="$base/deployment/bin":$PATH - -# might fail if invoked from another script with ulimit -ulimit -c $((100 * 1024)) &>/dev/null || true - -cd $HOME - -if taler-deployment-arm -T 300ms -I &>/dev/null; then - # looks like deployment is running, stop it - taler-deployment-arm -e -T 10s &>/dev/null -fi - -exec taler-deployment-start-with-eufin |