Removed ping() php function and replaced it with the native OS ping which works both under Windows and Linux