#! /bin/zsh

source paths

if [[ -f $pids ]]; then
    kill -9 `cat $pids`
    rm $pids
else
    echo There is nothing to kill.
fi