26 lines
516 B
Bash
Executable File
26 lines
516 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
|
|
APP_HOME="$(dirname "$SCRIPT_DIR")"
|
|
PID_FILE="$APP_HOME/run/app.pid"
|
|
|
|
if [[ ! -f "$PID_FILE" ]]; then
|
|
echo "No pid file found, service may not be running."
|
|
exit 0
|
|
fi
|
|
|
|
PID="$(cat "$PID_FILE")"
|
|
if kill -0 "$PID" 2>/dev/null; then
|
|
kill "$PID"
|
|
sleep 1
|
|
if kill -0 "$PID" 2>/dev/null; then
|
|
kill -9 "$PID"
|
|
fi
|
|
echo "RedisClipSync stopped (pid=$PID)."
|
|
else
|
|
echo "Process already stopped (pid=$PID)."
|
|
fi
|
|
|
|
rm -f "$PID_FILE"
|