commit bcba77a5bb4ec468bb6dc8aa298e5093d2d7121f
author John Reck <jreck@google.com> Mon Jun 27 09:25:08 2011 -0700
committer Android (Google) Code Review <android-gerrit@google.com> Mon Jun 27 09:25:08 2011 -0700
tree 291ff49759c65acd0bbc49c4124cdce1fad457f8
parent 6d85fab73e2c0359968fc6580594689940f5dabc
parent 686a9d9d928c031d49aa63478de947bf25994dc3

Merge "Fix title bar bug"

src/com/android/browser/Tab.java

diff --git a/src/com/android/browser/Tab.java b/src/com/android/browser/Tab.java
index bc5868f..c78b562 100644
--- a/src/com/android/browser/Tab.java
+++ b/src/com/android/browser/Tab.java
@@ -799,6 +799,22 @@
                 handler.ignore();
                 return;
             }
+            int colon = host_and_port.lastIndexOf(':');
+            String host;
+            int port;
+            if (colon == -1) {
+                host = host_and_port;
+                port = -1;
+            } else {
+                String portString = host_and_port.substring(colon + 1);
+                try {
+                    port = Integer.parseInt(portString);
+                    host = host_and_port.substring(0, colon);
+                } catch  (NumberFormatException e) {
+                    host = host_and_port;
+                    port = -1;
+                }
+            }
             KeyChain.choosePrivateKeyAlias(mActivity, new KeyChainAliasCallback() {
                 @Override public void alias(String alias) {
                     if (alias == null) {
@@ -807,7 +823,7 @@
                     }
                     new KeyChainLookup(mActivity, handler, alias).execute();
                 }
-            }, null, null, null, -1);
+            }, null, null, host, port, null);
         }
 
         /**