langtools/src/share/classes/com/sun/tools/doclets/formats/html/markup/HtmlTree.java
equal
deleted
inserted
replaced
194 NONENCODING_CHARS.set(noEnc.charAt(i)); |
194 NONENCODING_CHARS.set(noEnc.charAt(i)); |
195 } |
195 } |
196 } |
196 } |
197 |
197 |
198 private static String encodeURL(String url) { |
198 private static String encodeURL(String url) { |
199 byte[] urlBytes = url.getBytes(Charset.forName("UTF-8")); |
|
200 StringBuilder sb = new StringBuilder(); |
199 StringBuilder sb = new StringBuilder(); |
201 for (int i = 0; i < urlBytes.length; i++) { |
200 for (byte c : url.getBytes(Charset.forName("UTF-8"))) { |
202 int c = urlBytes[i]; |
|
203 if (NONENCODING_CHARS.get(c & 0xFF)) { |
201 if (NONENCODING_CHARS.get(c & 0xFF)) { |
204 sb.append((char) c); |
202 sb.append((char) c); |
205 } else { |
203 } else { |
206 sb.append(String.format("%%%02X", c & 0xFF)); |
204 sb.append(String.format("%%%02X", c & 0xFF)); |
207 } |
205 } |