[Htmlparser-cvs] htmlparser/src/org/htmlparser/lexer Page.java,1.19,1.20

[<der...@us...>]

Update of /cvsroot/htmlparser/htmlparser/src/org/htmlparser/lexer
In directory sc8-pr-cvs1:/tmp/cvs-serv18387/lexer

Modified Files:
	Page.java 
Log Message:
Quiet down the test output.



Index: Page.java
===================================================================
RCS file: /cvsroot/htmlparser/htmlparser/src/org/htmlparser/lexer/Page.java,v
retrieving revision 1.19
retrieving revision 1.20
diff -C2 -d -r1.19 -r1.20
*** Page.java	13 Oct 2003 21:48:12 -0000	1.19
--- Page.java	26 Oct 2003 03:53:32 -0000	1.20
***************
*** 327,340 ****
              catch (UnsupportedEncodingException uee)
              {
!                 StringBuffer msg;
!                 String message;
! 
!                 msg = new StringBuffer (1024);
!                 msg.append (getConnection ().getURL ().toExternalForm ());
!                 msg.append (" has an encoding (");
!                 msg.append (charset);
!                 msg.append (") which is not supported, using ");
!                 msg.append (DEFAULT_CHARSET);
!                 System.out.println (msg.toString ());
                  charset = DEFAULT_CHARSET;
                  mSource = new Source (stream, charset);
--- 327,339 ----
              catch (UnsupportedEncodingException uee)
              {
! //                StringBuffer msg;
! //
! //                msg = new StringBuffer (1024);
! //                msg.append (getConnection ().getURL ().toExternalForm ());
! //                msg.append (" has an encoding (");
! //                msg.append (charset);
! //                msg.append (") which is not supported, using ");
! //                msg.append (DEFAULT_CHARSET);
! //                System.out.println (msg.toString ());
                  charset = DEFAULT_CHARSET;
                  mSource = new Source (stream, charset);
***************
*** 554,566 ****
                      // Charset names are not case-sensitive;
                      // that is, case is always ignored when comparing charset names.
!                     if (!ret.equalsIgnoreCase (content))
!                     {
!                         System.out.println (
!                             "detected charset \""
!                             + content
!                             + "\", using \""
!                             + ret
!                             + "\"");
!                     }
                  }
              }
--- 553,565 ----
                      // Charset names are not case-sensitive;
                      // that is, case is always ignored when comparing charset names.
! //                    if (!ret.equalsIgnoreCase (content))
! //                    {
! //                        System.out.println (
! //                            "detected charset \""
! //                            + content
! //                            + "\", using \""
! //                            + ret
! //                            + "\"");
! //                    }
                  }
              }