29eeea7d5f
better safe then sorry. especially for rm Signed-off-by: Jörg Thalheim <joerg@higgsboson.tk> Upstream-commit: ac20568b0a62c794c0f1190703f051bd1cfac341 Component: engine
10 lines
223 B
Bash
10 lines
223 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
|