#!/usr/bin/env bash
# Kill processes

set -Eeuo pipefail

# First parameter is the file with
# one pid per line.
if [ -f "$1" ]; then
  while read pid
    do
      echo killing $pid
      kill $pid
    done < $1
fi