diff options
Diffstat (limited to 'tools/stop')
| -rwxr-xr-x | tools/stop | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/stop b/tools/stop index 1a9b6fd10..2a914d917 100755 --- a/tools/stop +++ b/tools/stop @@ -1,6 +1,7 @@ #!/bin/sh -cd $(git rev-parse --show-toplevel) +REAL_PATH=$(python -c "import os,sys;print os.path.realpath('$0')") +cd "$(dirname "$REAL_PATH")/.." ./tools/stop-all-replications ./tools/stop-all-pods |
