From f334900a79d9ceab538d76c30db7f2144345031e Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Sat, 12 Jun 2004 21:00:19 +0000
Subject: [PATCH] Implement skinCharset option that allows to set the encoding
 for skin files to something else than the platform's file.encoding.

---
 src/helma/framework/core/SkinFile.java | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/helma/framework/core/SkinFile.java b/src/helma/framework/core/SkinFile.java
index b7c50f8a..7861d617 100644
--- a/src/helma/framework/core/SkinFile.java
+++ b/src/helma/framework/core/SkinFile.java
@@ -97,8 +97,15 @@ public final class SkinFile implements Updatable {
     }
 
     private void read() {
+        String encoding = app.getProperty("skinCharset");
         try {
-            FileReader reader = new FileReader(file);
+            Reader reader;
+            if (encoding == null) {
+                reader = new FileReader(file);
+            } else {
+                FileInputStream in = new FileInputStream(file);
+                reader = new InputStreamReader(in, encoding);
+            }
             char[] c = new char[(int) file.length()];
             int length = reader.read(c);