#!/bin/bash

for pidFile in $(find "$DEST" -name docker.pid); do
	pid=$(set -x; cat "$pidFile")
	( set -x; kill $pid )
	if ! wait $pid; then
		echo >&2 "warning: PID $pid from $pidFile had a nonzero exit code"
	fi
done