rt/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java
changeset 800 3661b82478e0
parent 772 d382dacfd73f
child 844 023cda5b8b0b
child 878 ecbd252fd3a7
     1.1 --- a/rt/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java	Tue Feb 26 16:54:16 2013 +0100
     1.2 +++ b/rt/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java	Fri Mar 01 14:10:57 2013 +0100
     1.3 @@ -23,6 +23,7 @@
     1.4  import java.io.InputStream;
     1.5  import java.io.InterruptedIOException;
     1.6  import java.io.OutputStream;
     1.7 +import java.io.UnsupportedEncodingException;
     1.8  import java.io.Writer;
     1.9  import java.net.URI;
    1.10  import java.net.URISyntaxException;
    1.11 @@ -194,6 +195,9 @@
    1.12              public void service(Request request, Response response) throws Exception {
    1.13                  String id = request.getParameter("request");
    1.14                  String value = request.getParameter("result");
    1.15 +                if (value != null && value.indexOf((char)0xC5) != -1) {
    1.16 +                    value = toUTF8(value);
    1.17 +                }
    1.18                  
    1.19                  
    1.20                  InvocationContext mi = null;
    1.21 @@ -355,6 +359,13 @@
    1.22              return new Object[] { process, null };
    1.23          }
    1.24      }
    1.25 +    private static String toUTF8(String value) throws UnsupportedEncodingException {
    1.26 +        byte[] arr = new byte[value.length()];
    1.27 +        for (int i = 0; i < arr.length; i++) {
    1.28 +            arr[i] = (byte)value.charAt(i);
    1.29 +        }
    1.30 +        return new String(arr, "UTF-8");
    1.31 +    }
    1.32      
    1.33      private static String decodeURL(String s) {
    1.34          for (;;) {