#!/bin/csh -f
/usr/bin/wget -q http://www.intra.astro.rug.nl/~gipsy/testfile.html -O - | grep -q testfile
if (${status} != 0) then
   /bin/mail -s "GIPSY webpages down" computergroup@astro.rug.nl << @EOF
De GIPSY webpagina's zijn onbereikbaar. Mogelijk is het /Packages filesysteem
niet gemount op de webserver.
@EOF
endif
