Author: chris.laprun(a)jboss.com
Date: 2007-03-06 14:42:58 -0500 (Tue, 06 Mar 2007)
New Revision: 6560
Modified:
trunk/common/src/main/org/jboss/portal/common/util/URLTools.java
Log:
Minor clean-ups.
Modified: trunk/common/src/main/org/jboss/portal/common/util/URLTools.java
===================================================================
--- trunk/common/src/main/org/jboss/portal/common/util/URLTools.java 2007-03-06 19:38:56
UTC (rev 6559)
+++ trunk/common/src/main/org/jboss/portal/common/util/URLTools.java 2007-03-06 19:42:58
UTC (rev 6560)
@@ -53,6 +53,11 @@
return isNetworkURL(url) || url.startsWith(FILE_PREFIX);
}
+ /**
+ * @param url
+ * @return
+ * @since 2.4.2
+ */
public static boolean isNetworkURL(String url)
{
if (url == null || url.length() == 0)
@@ -182,7 +187,7 @@
try
{
URL url = new URL(urlAsString);
- return exists((URL)url);
+ return exists(url);
}
catch (MalformedURLException e)
{
@@ -299,6 +304,7 @@
}
}
+ /** @since 2.4.2 */
public abstract static class URLReplacementGenerator
{
public abstract String getReplacementFor(int currentIndex, URLMatch currentMatch);
@@ -319,6 +325,12 @@
}
}
+ /**
+ * @param url
+ * @param newPort
+ * @return
+ * @since 2.4.2
+ */
public static String replaceServerPortInURL(String url, int newPort)
{
if (!isNetworkURL(url))