7 .
/etc
/disco
/disco.conf
11 stat_busy
"Starting Disco Master"
12 disco-master
&>/dev
/null
&
13 if [[ -n "$DISCO_MASTER_PORT" ]]; then
14 lighttpd
-f /etc
/disco
/lighttpd-master.conf
19 add_daemon disco-master
24 stat_busy
"Stopping Disco Master"
25 if [[ -n "$DISCO_MASTER_PORT" ]]; then
26 kill $
(cat /var
/run
/disco
/disco-lighttpd.pid
) &> /dev
/null
28 kill $
(cat /var
/run
/disco
/disco-master.pid
) &> /dev
/null
32 rm_daemon disco-master
42 echo "usage: $0 {start|stop|restart}"