cvs commit: xml-axis/java/src/org/apache/axis/utils tcpmon.java

[dims]

dims        02/02/19 04:55:39

  Modified:    java/src/org/apache/axis/utils tcpmon.java
  Log:
  Request from [EMAIL PROTECTED] for replacing http.HTTPProxyPort with 
http.proxyPort as per the spec.
  
  - http://www.jguru.com/faq/view.jsp?EID=9920
  - http://java.sun.com/j2se/1.4/docs/guide/net/properties.html
  
  Revision  Changes    Path
  1.26      +3 -3      xml-axis/java/src/org/apache/axis/utils/tcpmon.java
  
  Index: tcpmon.java
  ===================================================================
  RCS file: /home/cvs/xml-axis/java/src/org/apache/axis/utils/tcpmon.java,v
  retrieving revision 1.25
  retrieving revision 1.26
  diff -u -r1.25 -r1.26
  --- tcpmon.java       6 Dec 2001 20:34:38 -0000       1.25
  +++ tcpmon.java       19 Feb 2002 12:55:39 -0000      1.26
  @@ -296,7 +296,7 @@
               if ( tmp != null ) {
                   HTTPProxyBox.setSelected( true );
                   HTTPProxyHost.setText( tmp );
  -                tmp = System.getProperty( "http.HTTPProxyPort" );
  +                tmp = System.getProperty( "http.proxyPort" );
                   if ( tmp != null && tmp.equals("") ) tmp = null ;
                   if ( tmp == null ) tmp = "80" ;
                   HTTPProxyPort.setText( tmp );
  @@ -589,7 +589,7 @@
                       HTTPProxyHost = null ;
                   
                   if ( HTTPProxyHost != null ) {
  -                    String tmp = System.getProperty( "http.HTTPProxyPort" );
  +                    String tmp = System.getProperty( "http.proxyPort" );
                       if ( tmp != null && tmp.equals("") ) tmp = null ;
                       if ( tmp == null ) HTTPProxyPort = 80 ;
                       else HTTPProxyPort = Integer.parseInt( tmp );
  @@ -1221,7 +1221,7 @@
                   l.HTTPProxyHost = null ;
                   
               if ( l.HTTPProxyHost != null ) {
  -                String tmp = System.getProperty( "http.HTTPProxyPort" );
  +                String tmp = System.getProperty( "http.proxyPort" );
                   if ( tmp != null && tmp.equals("") ) tmp = null ;
                   if ( tmp == null ) l.HTTPProxyPort = 80 ;
                   else l.HTTPProxyPort = Integer.parseInt( tmp );