set -e

echo "$1" "$2" >> "$ROOT_TMPDIR/cleanup-pids"