diff options
Diffstat (limited to 'scripts/xds-stop-server.sh')
| -rwxr-xr-x | scripts/xds-stop-server.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/scripts/xds-stop-server.sh b/scripts/xds-stop-server.sh deleted file mode 100755 index 8a6bf5e..0000000 --- a/scripts/xds-stop-server.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/bash - -# Stop it gracefully -pkill -INT xds-server -sleep 1 - -# Seems no stopped, nasty kill -nbProc=$(ps -ef |grep xds-server |grep -v grep |wc -l) -if [ "$nbProc" != "0" ]; then - pkill -KILL xds-server -fi - -nbProc=$(ps -ef |grep syncthing |grep -v grep |wc -l) -if [ "$nbProc" != "0" ]; then - pkill -KILL syncthing - pkill -KILL syncthing-inotify -fi - |