#!/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