Searched refs:docker_pid (Results 1 – 3 of 3) sorted by relevance
9 docker_pid=0227 docker_pid=$!229 echo "Docker PID $docker_pid"234 if [ "$docker_pid" -ne 0 -a "$configuration" != "keep" ]; then235 local dockers="$docker_pid $(list_children "$docker_pid")"241 docker_pid=0248 echo "Waiting for Docker PID $docker_pid..."249 wait $docker_pid252 docker_pid=0
18 wait $docker_pid31 wait $docker_pid
15 wait $docker_pid
