Signed-off-by: Andrew "Tianon" Page <admwiggin@gmail.com> Upstream-commit: d43f0b9fc5ec3eae816466ec0307682c13945b31 Component: engine
10 lines
219 B
Bash
10 lines
219 B
Bash
#!/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
|