mirror of
https://github.com/docker/docs.git
synced 2026-03-30 15:58:53 +07:00
ac20568b0a
better safe then sorry. especially for rm Signed-off-by: Jörg Thalheim <joerg@higgsboson.tk>
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
|