From: Joonas Lehtinen <joonas.lehtinen@itmill.com>
Date: Tue, 23 Jan 2007 12:27:26 +0000 (+0000)
Subject: Supports both java:// and millstone:// prefixes for xsl java-calls
X-Git-Tag: 6.7.0.beta1~6748
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=c8ae00aed08faa535d13e5a4fe5b79c7f78e3354;p=vaadin-framework.git

Supports both java:// and millstone:// prefixes for xsl java-calls

svn changeset:315/svn branch:toolkit
---

diff --git a/src/com/itmill/toolkit/terminal/web/XSLReader.java b/src/com/itmill/toolkit/terminal/web/XSLReader.java
index 60ba87b818..436886a095 100644
--- a/src/com/itmill/toolkit/terminal/web/XSLReader.java
+++ b/src/com/itmill/toolkit/terminal/web/XSLReader.java
@@ -101,7 +101,7 @@ public class XSLReader implements XMLReader, ContentHandler {
 		}
 	}
 
-	private static final String JAVA_PREFIX = "java://";
+	private static final String[] JAVA_PREFIX = {"java://", "millstone://"};
 	private Collection streams;
 	private boolean startTagHandled = false;
 	private String xslNamespace = "";
@@ -421,29 +421,30 @@ public class XSLReader implements XMLReader, ContentHandler {
 		public String getURI(int index) {
 			String uri = original.getURI(index);
 
-			if (uri != null && uri.startsWith(JAVA_PREFIX)) {
+			for (int i=0; i<JAVA_PREFIX.length; i++)
+			if (uri != null && uri.startsWith(JAVA_PREFIX[i])) {
 
 				System.out.print("DEBUG " + uri + " --> ");
 				switch (xsltProcessor) {
 					case XSLT_SAXON6 :
 						uri =
 							"saxon://"
-								+ uri.substring(JAVA_PREFIX.length());
+								+ uri.substring(JAVA_PREFIX[i].length());
 						break;
 					case XSLT_SAXON7 :
 						uri =
 							"saxon://"
-								+ uri.substring(JAVA_PREFIX.length());
+								+ uri.substring(JAVA_PREFIX[i].length());
 						break;
 					case XSLT_XALAN :
 						uri =
 							"xalan://"
-								+ uri.substring(JAVA_PREFIX.length());
+								+ uri.substring(JAVA_PREFIX[i].length());
 						break;
 					default :
 						uri =
 							"xalan://"
-								+ uri.substring(JAVA_PREFIX.length());
+								+ uri.substring(JAVA_PREFIX[i].length());
 						break;
 				}
 				System.out.println(uri);