Patch for gnatsweb.pl

[Robert Lupton the Good]

(This is my `patch.3a')

This patch prints a header if needed when debug=all statements (this
is sometimes needed)

                                R

        

*** gnatsweb.pl Wed Sep 11 14:06:11 2002
--- /u/dss/cgi-bin/gnatsweb-v4.pl       Wed Sep 11 14:10:10 2002
***************
*** 357,363 ****
  {
    my($state, $text, $type);
    my $raw_reply = <SOCK>;
!   print "<tt>server_reply: $_</tt><br>\n" if defined($reply_debug);
    if($raw_reply =~ /(\d+)([- ]?)(.*$)/)
    {
      $state = $1;
--- 357,367 ----
  {
    my($state, $text, $type);
    my $raw_reply = <SOCK>;
!   if(defined($reply_debug))
!   {
!     print_header();
!     print "<tt>server_reply: $raw_reply</tt><br>\n";
!   }
    if($raw_reply =~ /(\d+)([- ]?)(.*$)/)
    {
      $state = $1;
***************
*** 389,395 ****
  
    while(<SOCK>)
    {
!     print "<tt>read_server: $_</tt><br>\n" if defined($reply_debug);
      if(/^\.\r/)
      {
        return @text;
--- 393,404 ----
  
    while(<SOCK>)
    {
!     if(defined($reply_debug))
!     {
!       print_header();
!       print "<tt>read_server: $_</tt><br>\n";
!     }
! 
      if(/^\.\r/)
      {
        return @text;
***************
*** 703,710 ****
    my $debug = 0;
    print SOCK "$cmd\n";
    warn "client_cmd: $cmd" if $debug;
!   print "<br><tt>client_cmd: <pre>$cmd</pre></tt><br>\n"
!         if defined($client_cmd_debug);
    return get_reply();
  }
  
--- 712,722 ----
    my $debug = 0;
    print SOCK "$cmd\n";
    warn "client_cmd: $cmd" if $debug;
!   if(defined($client_cmd_debug))
!   {
!     print_header();
!     print "<br><tt>client_cmd: <pre>$cmd</pre></tt><br>\n";
!   }
    return get_reply();
  }