dockerTools.pullImage: change the docker deamon readiness mechanism

nlewo · Mic92 · commit 7c1278d94fb5 · 2017-09-13T10:40:43.000+01:00
To wait for the docker deamon, curl requests are sent. However, if a http proxy is set, it will respond instead of the docker daemon. To avoid this, we send docker ps command instead of curl command. (cherry picked from commit 132e790)
diff --git a/pkgs/build-support/docker/pull.sh b/pkgs/build-support/docker/pull.sh
@@ -25,7 +25,7 @@ done
 # run docker daemon
 dockerd -H tcp://127.0.0.1:5555 -H unix:///var/run/docker.sock &
 
-until $(curl --output /dev/null --silent --connect-timeout 2 http://127.0.0.1:5555); do
+until docker ps 2>/dev/null; do
   printf '.'
   sleep 1
 done
