51 lines
937 B
Bash
Executable file
51 lines
937 B
Bash
Executable file
#!/bin/sh
|
|
|
|
ACTION=start
|
|
PID_PATH=/tmp/remote_i3wm_ws.pid
|
|
|
|
if [ -z "$PHP" ]; then
|
|
PHP=php
|
|
fi
|
|
|
|
ri3wmws_stop() {
|
|
if [ -f "$PID_PATH" ]; then
|
|
PID=$(cat "$PID_PATH")
|
|
|
|
if [ -n "$PID" -a $(egrep "^[0-9]+$" "$PID_PATH") ]; then
|
|
kill -9 "$PID"
|
|
rm "$PID_PATH"
|
|
printf "Server stopped\n"
|
|
else
|
|
printf "Server not started\n"
|
|
fi
|
|
else
|
|
printf "Server not started\n"
|
|
fi
|
|
}
|
|
|
|
ri3wmws_start() {
|
|
if [ -f "$PID_PATH" ]; then
|
|
printf "Server already started\n"
|
|
else
|
|
$PHP src/resource/server.php "$SERVER_OPTIONS" &
|
|
PID=$!
|
|
|
|
printf $PID > "$PID_PATH"
|
|
chmod 600 "$PID_PATH"
|
|
printf "Server is running\n"
|
|
fi
|
|
}
|
|
|
|
ri3wmws_restart() {
|
|
ri3wmws_stop
|
|
ri3wmws_start
|
|
}
|
|
|
|
cd "$(dirname "$(realpath "$0")")"
|
|
|
|
case "$1" in
|
|
start) ri3wmws_start;;
|
|
restart) ri3wmws_restart;;
|
|
stop) ri3wmws_stop;;
|
|
esac;
|