| changeset 39919 | 3d3573afc062 |
| parent 39104 | 61c5b5f8fd8c |
| child 42822 | a84956e7ee4d |
| 39918:00696f150132 | 39919:3d3573afc062 |
|---|---|
383 break; |
383 break; |
384 case '\\': |
384 case '\\': |
385 sb.append('\\').append('\\'); |
385 sb.append('\\').append('\\'); |
386 break; |
386 break; |
387 default: |
387 default: |
388 if (Character.isISOControl(c)) { |
|
389 sb.append(String.format("\\u%04x", (int) c)); |
|
390 break; |
|
391 } |
|
388 sb.append(c); |
392 sb.append(c); |
389 } |
393 } |
390 } |
394 } |
391 return sb.toString(); |
395 return sb.toString(); |
392 } |
396 } |