Gnatsweb and unknown users.

[Lars Henriksen]

Many old PRs contain users that are no longer known by the system.
With a new PR you can put a non-existent user on the Cc: list.

In both cases it may happen when I submit the PR after editing, that the
web server (apache) complains about a malformed header:

[Mon Dec 17 13:12:11 2001] [error] [client 193.88.72.107] malformed header from 
script. Bad header=xx... User unknown: /vol/pack/local/cgi-bin/gnatsweb.pl

I am no adept at web servers, cgi-bin, perl. Is this a problem with
gnatsweb or ...? I'm running gnatsweb 2.9.3.

Lars Henriksen