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