From 605530fec539a247e7c4b7cacba939a4d5e58dd7 Mon Sep 17 00:00:00 2001
From: reger <reger18@arcor.de>
Date: Sun, 27 Oct 2013 04:06:11 +0100
Subject: [PATCH] catch proxy url rewrite exception  malformed url ("
 http:\/\/" ) may cause error response  testcase
 http://localhost:8090/proxy.html?url=http://dictionary.reference.com/browse/test

---
 .../net/yacy/server/http/HTTPDFileHandler.java  | 17 +++++++++++------
 1 file changed, 11 insertions(+), 6 deletions(-)

diff --git a/source/net/yacy/server/http/HTTPDFileHandler.java b/source/net/yacy/server/http/HTTPDFileHandler.java
index e6c7dcaf3..453082836 100644
--- a/source/net/yacy/server/http/HTTPDFileHandler.java
+++ b/source/net/yacy/server/http/HTTPDFileHandler.java
@@ -1607,12 +1607,17 @@ public final class HTTPDFileHandler {
 				    m.appendReplacement(result, newurl);
 
 				} else if (url.startsWith("http")) {
-					// absoulte url of form href="http://domain.com/path"
-					if (sb.getConfig("proxyURL.rewriteURLs", "all").equals("domainlist")) {
-						if (sb.crawlStacker.urlInAcceptedDomain(new DigestURL(url)) != null) {
-							continue;
-						}
-					}
+                                    // absoulte url of form href="http://domain.com/path"
+                                    if (sb.getConfig("proxyURL.rewriteURLs", "all").equals("domainlist")) {
+                                        try {
+                                            if (sb.crawlStacker.urlInAcceptedDomain(new DigestURL(url)) != null) {
+                                                continue;
+                                            }
+                                        } catch (final MalformedURLException e) {
+                                            theLogger.fine("malformed url for url-rewirte " + url.toString());
+                                            continue;
+                                        }
+                                    }
 
 					String newurl = init + "/proxy.html?url=" + url;
 					newurl = newurl.replaceAll("\\$","\\\\\\$");