#!/bin/sh while read pid; do kill "$pid" done