#!/usr/bin/bash

CPU_MASK="0xfc0fc0"
PHP56_PID_FILE="/run/php-fpm/php56-fpm-webstation.pid"
PHP70_PID_FILE="/run/php-fpm/php70-fpm-webstation.pid"

function taskset_by_pidfile {
	local pid_file=$1
	local mask=$2
	if [ -f "$pid_file" ]; then
		local parent_pid
		parent_pid=$(<"$pid_file")

		/usr/bin/taskset -p "$mask" "$parent_pid" > /dev/null

		for child_pid in $(/usr/bin/ps -o pid --ppid "$parent_pid" | /usr/bin/tail -n +2); do
			/usr/bin/taskset -p "$mask" "$child_pid" > /dev/null
		done
	fi
}
taskset_by_pidfile "$PHP56_PID_FILE" "$CPU_MASK"
taskset_by_pidfile "$PHP70_PID_FILE" "$CPU_MASK"