Hi,

This fixes a buglet in the URI port parsing that Jeroen found. The port
string may be empty (and then port defaults to -1).

2007-04-16  Mark Wielaard  <[EMAIL PROTECTED]>

        Fixes bug #31590
        * java/net/URI.java (parseServerAuthority): Allow empty portStr.

Committed, will commit to release branch also if all auto-tests pass.

Cheers,

Mark

diff -u -r1.19 URI.java
--- java/net/URI.java   10 Dec 2006 20:25:45 -0000      1.19
+++ java/net/URI.java   16 Apr 2007 14:49:44 -0000
@@ -693,7 +693,7 @@
            
            String portStr = getURIGroup(matcher, AUTHORITY_PORT_GROUP);
            
-           if (portStr != null)
+           if (portStr != null && ! portStr.isEmpty())
              try
                {
                  port = Integer.parseInt(portStr);

Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to