719f00fbf2
This also removes the now-defunct `*maintainer*.sh` scripts that don't work with the new TOML format, and moves a couple not-build-or-release-related scripts to `contrib/` instead. Signed-off-by: Andrew "Tianon" Page <admwiggin@gmail.com> Upstream-commit: 949a21b55f3b8d7d1ae7a7b9829111a8f0dbf7e2 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
|