#!/bin/sh

if [ true != "$INIT_D_SCRIPT_SOURCED" ] ; then
    set "$0" "$@"; INIT_D_SCRIPT_SOURCED=true . /lib/init/init-d-script
fi

### BEGIN INIT INFO
# Provides:          hhvm
# Required-Start:    $remote_fs $network
# Required-Stop:     $remote_fs $network
# Default-Start:     2 3 4 5
# Default-Stop:      0 1 6
# Short-Description: HHVM PHP/Hack runtime
# Description:       HHVM PHP/Hack runtime
### END INIT INFO

DESC="HHVM PHP/Hack runtime"
NAME=hhvm
DAEMON=/usr/bin/hhvm

# Default values. This values can be overwritten in '/etc/default/hhvm'
CONFIG_FILE="/etc/hhvm/server.ini"
SYSTEM_CONFIG_FILE="/etc/hhvm/php.ini"
RUN_AS_USER="www-data"
RUN_AS_GROUP="www-data"
PIDFILE="/var/run/hhvm.pid"
ADDITIONAL_ARGS=""

# Read configuration variable file if it is present
[ -r /etc/default/$NAME ] && . /etc/default/$NAME

DAEMON_ARGS="--config ${SYSTEM_CONFIG_FILE} \
--config ${CONFIG_FILE} \
--user ${RUN_AS_USER} \
--mode daemon \
-v PidFile=${PIDFILE} \
${ADDITIONAL_ARGS}"


#
# Function that starts the daemon/service
#
do_start_prepare() {
    touch $PIDFILE
    chown $RUN_AS_USER:$RUN_AS_GROUP $PIDFILE
}
