Improved starter script for hhvm instances

Marius Cramer

2014-04-30 1b0683b3e4933cd35bd734590c65fefeb4964360

Improved starter script for hhvm instances

 server/conf/hhvm_starter.master

@@ -21,6 +21,16 @@
        else
        chmod 777 /var/run/hhvm
    fi
	
    if [[ -e "/var/run/hhvm/hhvm_{SYSTEM_USER}.pid" ]] ; then
        kill -0 `cat /var/run/hhvm/hhvm_{SYSTEM_USER}.pid` >/dev/null 2>&1 ;
        case "$?" in
            0)
                return 1
                ;;
        esac
    fi
	
    umask 017
    sudo -u {SYSTEM_USER} touch /var/run/hhvm/hhvm_{SYSTEM_USER}.pid
    /usr/bin/hhvm --mode daemon -vServer.Type=fastcgi --user {SYSTEM_USER} -vServer.FileSocket=/var/run/hhvm/hhvm.{SYSTEM_USER}.sock -vLog.Level=Warning -vLog.UseLogFile=false -vRepo.Central.Path=/var/run/hhvm/hhvm.{SYSTEM_USER}.hhbc -vPidFile=/var/run/hhvm/hhvm_{SYSTEM_USER}.pid & echo $! > /var/run/hhvm/hhvm_{SYSTEM_USER}.pid