Question: curl and ping - how to check whether a website is either up or down?