#!/bin/sh
set -- $(cat "$1")
if [ $# -gt 0 ]
then eval "ps eax -o pid,ppid,user,cmd | grep  '^\s\+[0-9]\+\s\+0\s.*' | grep -v -e '^\s\+1\+\s\+0\s' $(for pid; do printf -- '-e HOSTPID=%s ' "$pid"; done) | sed -En 's/^\s+([0-9]+).*/\1/p' | xargs -r kill -s SIGKILL"
fi