#!/bin/sh

# echo HTTP/1.0 200 OK
echo Content-type: text/html
echo Server: $SERVER_SOFTWARE
echo
echo \<html\>\<title\>search results \</title\>

/a1/httpd/cgi-bin/propgrep $QUERY_STRING
grep -iv private /tmp/queryoutput | head -100 | sed -e 's"^\([^:]*\):"<hr><a href=/\1>source chapter</a><br>"' | sed -e 's"$QUERY_STRING"<b>$QUERY_STRING</b>"g'
echo \</body\>\</html\>
#
#  done