portfolio/build_tools/server.sh

60 lines
1 KiB
Bash
Raw Permalink Normal View History

2022-08-02 20:09:45 +00:00
#!/bin/sh
# This script will start a php server in a GNU Screen and save the id in the build directory to clean it
# This script must have a working directory of ./
# Two sub commands for this script: start and stop
echo "run script inside $(pwd)"
op='start'
if [ $# -ge 1 ]
then
op=$1
fi
DEFAULT_PORT=8442
if [ -z $PORT ]
then
echo "No port found assuming $DEFAULT_PORT"
PORT=$DEFAULT_PORT
fi
startCmd() {
existingPID=`lsof -i :$PORT | awk 'NR!=1{print $2}'`
if [ ${#existingPID} -gt 2 ]
then
echo "killing existing server $existingPID"
kill $existingPID
fi
serverUrl=127.0.0.1:$PORT
2022-08-04 11:00:24 +00:00
echo "Trying to start php on $serverUrl"
2022-08-02 20:09:45 +00:00
php -S $serverUrl -t ./public &
phpPID=$!
echo $phpPID > ./build/tmp_build_server_pid
echo "PHP server running with PID $phpPID"
2022-08-04 11:00:24 +00:00
sleep 0.2
2022-08-02 20:09:45 +00:00
}
stopCmd() {
kill `cat ./build/tmp_build_server_pid`
}
if [ $op = 'start' ]
then
startCmd
elif [ $op = 'stop' ]
then
stopCmd
else
echo "Invalid command, usage: server start|stop"
exit 1
fi