Searched refs:dockers (Results 1 – 1 of 1) sorted by relevance
235 local dockers="$docker_pid $(list_children "$docker_pid")"237 echo "Stopping Docker PIDs $dockers"238 kill $dockers 2> /dev/null