Replaces ping with curl for environments with proxy. Bug #126 66/1066/4
-rw-r--r-- 1049 README
drwxr-xr-x - installers
drwxr-xr-x - jenkins