[AWS] AWS 2.0 demos (webmail...)

[Patureau stéphane]

Skipped content of type multipart/alternative-------------- next part --------------
*** aws-pop.adb.ori	Sun Feb  8 20:58:06 2004
--- aws-pop.adb	Wed Jun 16 10:43:50 2004
***************
*** 373,379 ****
  
           --  Read headers
  
!          AWS.Headers.Set.Read (Mailbox.Sock, Attachment.Headers);
  
           --  Check Base64 encoding
  
--- 373,385 ----
  
           --  Read headers
  
!          begin
!             AWS.Headers.Set.Read (Mailbox.Sock, Attachment.Headers);
!          exception
!             when AWS.Headers.Format_Error =>
!                --  Error should be notified
!                null;
!          end;
  
           --  Check Base64 encoding
  
***************
*** 437,443 ****
  
        --  Read headers
  
!       AWS.Headers.Set.Read (Mailbox.Sock, Mess.Headers);
  
        --  Check for MIME message
  
--- 443,455 ----
  
        --  Read headers
  
!       begin
!          AWS.Headers.Set.Read (Mailbox.Sock, Mess.Headers);
!       exception
!          when AWS.Headers.Format_Error =>
!             --  Error should be notified
!             null;
!       end;
  
        --  Check for MIME message
  
***************
*** 579,585 ****
  
        --  Read headers
  
!       AWS.Headers.Set.Read (Mailbox.Sock, Mess.Headers);
  
        --  Now read until the end of the message body, should read a single
        --  line with a dot.
--- 591,603 ----
  
        --  Read headers
  
!       begin
!          AWS.Headers.Set.Read (Mailbox.Sock, Mess.Headers);
!       exception
!           when AWS.Headers.Format_Error =>
!             --  Error should be notified
!             null;
!       end;
  
        --  Now read until the end of the message body, should read a single
        --  line with a dot.