diff options
Diffstat (limited to 'external')
| -rw-r--r-- | external/beanshell/bsh-2.0b1-src.patch | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/external/beanshell/bsh-2.0b1-src.patch b/external/beanshell/bsh-2.0b1-src.patch index 786bc9b7c74e..6162e739d199 100644 --- a/external/beanshell/bsh-2.0b1-src.patch +++ b/external/beanshell/bsh-2.0b1-src.patch @@ -116,3 +116,31 @@ win.toFront(); splashScreen = win; } +--- misc/BeanShell/src/bsh/Remote.java 2003-12-19 17:14:29.000000000 +0100 ++++ misc/build/BeanShell/src/bsh/Remote.java 2014-07-23 08:52:39.000000000 +0200 +@@ -137,13 +137,14 @@ + static String doHttp( String postURL, String text ) + { + String returnValue = null; ++ ++ try { + StringBuffer sb = new StringBuffer(); + sb.append( "bsh.client=Remote" ); + sb.append( "&bsh.script=" ); +- sb.append( URLEncoder.encode( text ) ); ++ sb.append( URLEncoder.encode(text,"UTF-8") ); + String formData = sb.toString( ); + +- try { + URL url = new URL( postURL ); + HttpURLConnection urlcon = + (HttpURLConnection) url.openConnection( ); +@@ -172,6 +173,8 @@ + + System.out.println( "Return Value: "+returnValue ); + ++ } catch (UnsupportedEncodingException e) { ++ System.out.println(e); // bad character encoding + } catch (MalformedURLException e) { + System.out.println(e); // bad postURL + } catch (IOException e2) { |