don't kill a non-integer pid