3 # checkfilelist - try retrieving files from server
5 # checkfilelist servername portno filelist
8 if test "$#" -lt 3 ; then
9 echo "usage: $0 servername portno filelist"
13 HOSTNAME
=$1 ; export HOSTNAME
14 PORTNO
=$2 ; export PORTNO
15 FILELIST
=$3 ; export FILELIST
17 grep '^/' $FILELIST | cut
-f1 |
24 telnet $HOSTNAME $PORTNO << _EOF_
28 ) 2> /dev
/null |
head -5 |
grep 'HTTP/1.0'