changeset 5899:0c426f650357

Ensemble8: Fix for RT-34669
author Alexander Kouznetsov
date Tue, 03 Dec 2013 18:43:44 -0800
parents a4b45faa34a2
children 355fcde00b08
files apps/samples/Ensemble8/src/compiletime/java/ensemble/compiletime/search/DocumentationIndexer.java
diffstat 1 files changed, 7 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
--- a/apps/samples/Ensemble8/src/compiletime/java/ensemble/compiletime/search/DocumentationIndexer.java	Tue Dec 03 18:41:47 2013 -0800
+++ b/apps/samples/Ensemble8/src/compiletime/java/ensemble/compiletime/search/DocumentationIndexer.java	Tue Dec 03 18:43:44 2013 -0800
@@ -44,10 +44,7 @@
 
 public class DocumentationIndexer {
     static {
-        System.setProperty("http.proxyHost", "www-proxy.us.oracle.com");
-        System.setProperty("http.proxyPort", "80");
-        System.setProperty("https.proxyHost", "www-proxy.us.oracle.com");
-        System.setProperty("https.proxyPort", "80");
+        System.setProperty("java.net.useSystemProxies", "true");
     }
     
     private enum State {DEFAULT, BOOK_TITLE, CHAPTER, SECT1, SECT_H1_H2};
@@ -95,12 +92,12 @@
 //        content = content.replaceAll("<span class=red>", "<span class=\"red\">");
         
         try {
-        DocHandler handler = new DocHandler(url);
-        XMLReader xmlParser = XMLReaderFactory.createXMLReader();
-        xmlParser.setContentHandler(handler);
-        xmlParser.setEntityResolver(handler);
-        xmlParser.parse(new InputSource(new StringReader(content)));
-        return handler.getDocPage();
+            DocHandler handler = new DocHandler(url);
+            XMLReader xmlParser = XMLReaderFactory.createXMLReader();
+            xmlParser.setContentHandler(handler);
+            xmlParser.setEntityResolver(handler);
+            xmlParser.parse(new InputSource(new StringReader(content)));
+            return handler.getDocPage();
         } catch (Exception e) {
             System.out.println("----------------------------------------------------------------------");
             System.out.println("url = "+url);