From 757bb948c2c6c6917d62264e88a96dc998a88573 Mon Sep 17 00:00:00 2001
From: Raphael Moll <ralf@android.com>
Date: Fri, 15 Oct 2010 13:50:16 -0700
Subject: [PATCH] SDK Manager: display URL host in source tree.

Change-Id: I2fd27d931fe9011cc2894c7179e2e14327867b94
---
 .../com/android/sdklib/internal/repository/SdkSource.java | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/sdkmanager/libs/sdklib/src/com/android/sdklib/internal/repository/SdkSource.java b/sdkmanager/libs/sdklib/src/com/android/sdklib/internal/repository/SdkSource.java
index 034854a87..2a917a1e5 100755
--- a/sdkmanager/libs/sdklib/src/com/android/sdklib/internal/repository/SdkSource.java
+++ b/sdkmanager/libs/sdklib/src/com/android/sdklib/internal/repository/SdkSource.java
@@ -34,6 +34,7 @@ import java.io.ByteArrayInputStream;
 import java.io.FileNotFoundException;
 import java.io.IOException;
 import java.io.InputStream;
+import java.net.MalformedURLException;
 import java.net.URL;
 import java.util.ArrayList;
 import java.util.Arrays;
@@ -195,10 +196,18 @@ public abstract class SdkSource implements IDescription {
 
     public String getShortDescription() {
 
-        // TODO extract domain from URL and add to UiName if not present.
-
         if (mUiName != null && mUiName.length() > 0) {
-            return mUiName;
+
+            String host = "malformed URL";
+
+            try {
+                URL u = new URL(mUrl);
+                host = u.getHost();
+            } catch (MalformedURLException e) {
+            }
+
+            return String.format("%1$s (%2$s)", mUiName, host);
+
         }
         return mUrl;
     }
-- 
2.11.0