diff options
Diffstat (limited to 'tools/stop')
| -rwxr-xr-x | tools/stop | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tools/stop b/tools/stop deleted file mode 100755 index 2a914d917..000000000 --- a/tools/stop +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -REAL_PATH=$(python -c "import os,sys;print os.path.realpath('$0')") -cd "$(dirname "$REAL_PATH")/.." - -./tools/stop-all-replications -./tools/stop-all-pods -./tools/stop-all-services - |
