[projects/pld-builder.new.git] / PLD_Builder / request_handler_server

#!/bin/sh
sock=$(dirname "$0")/request_handler_server.sock 
daemon=0
attach=0

if [ x"$1" = x"--daemon" -o x"$1" = x"-d" ]; then
	daemon=1
fi
if [ x"$1" = x"--attach" -o x"$1" = x"-a" ]; then
	attach=1
fi

if [ ! -S $sock ]; then
	daemon=1
fi

if [ "$daemon" = 1 ]; then
	cd $(dirname $sock)
	echo "Starting request_handler_server"
	rm -f $sock
	exec dtach -n $(basename $sock) -r none python request_handler_server.py
	exit 1
fi

# attach to session
if [ "$attach" = 1 ]; then
	echo "Attaching to request_handler_server"
	exec dtach -a $sock
fi
Commit	Line	Data
440d6759 ER	1	#!/bin/sh
	2	sock=$(dirname "$0")/request_handler_server.sock
	3	daemon=0
	4	attach=0
	5
	6	if [ x"$1" = x"--daemon" -o x"$1" = x"-d" ]; then
	7	daemon=1
	8	fi
	9	if [ x"$1" = x"--attach" -o x"$1" = x"-a" ]; then
	10	attach=1
	11	fi
	12
	13	if [ ! -S $sock ]; then
	14	daemon=1
	15	fi
	16
	17	if [ "$daemon" = 1 ]; then
	18	cd $(dirname $sock)
	19	echo "Starting request_handler_server"
	20	rm -f $sock
	21	exec dtach -n $(basename $sock) -r none python request_handler_server.py
	22	exit 1
	23	fi
	24
	25	# attach to session
	26	if [ "$attach" = 1 ]; then
	27	echo "Attaching to request_handler_server"
	28	exec dtach -a $sock
	29	fi