-- | Working with the network.moduleBuildBox.Command.Network(PropNetwork(..))whereimportBuildBox.BuildimportBuildBox.Command.FileimportBuildBox.Command.SystemtypeHostName=StringtypeURL=StringdataPropNetwork-- | The given host is reachable with @ping@.=HostReachableHostName-- | Use @wget@ to check if a web-page is gettable.-- The page is deleted after downloading.|UrlGettableURLderivingShowinstanceTestablePropNetworkwheretestprop=casepropof-- Works on OSX 10.6.2-- -o exit successfully after recieving one reply packet.HostReachablehostName->docheck$HasExecutable"ping"code<-qsystem$"ping -o "++hostNamereturn$code==ExitSuccess-- Works on OSX 10.6.2, wget 1.12-- -q quiet-- --delete-after delete page after downloading.UrlGettableurl->docheck$HasExecutable"wget"code<-qsystem$"wget -q --delete-after "++urlreturn$code==ExitSuccess