33 |
| '>' -> Buffer.add_string b ">"; false |
| '>' -> Buffer.add_string b ">"; false |
34 |
| '&' -> Buffer.add_string b "&"; false |
| '&' -> Buffer.add_string b "&"; false |
35 |
| '"' -> Buffer.add_string b """; false |
| '"' -> Buffer.add_string b """; false |
|
| '\039' -> Buffer.add_string b "'"; false |
|
36 |
| '\\' -> true |
| '\\' -> true |
37 |
| _ -> Buffer.add_char b c; false |
| _ -> Buffer.add_char b c; false |
38 |
) s |
) s |
39 |
|
|
40 |
|
let html_real_escaped s = |
41 |
|
String2.convert false (fun b escaped c -> |
42 |
|
if escaped then |
43 |
|
(Buffer.add_char b c; false) |
44 |
|
else |
45 |
|
match c with |
46 |
|
'\039' -> Buffer.add_string b "'"; false |
47 |
|
| '\\' -> true |
48 |
|
| _ -> Buffer.add_char b c; false |
49 |
|
) (html_escaped s) |
50 |
|
|
51 |
|
|
52 |
(* base 64 decoding *) |
(* base 64 decoding *) |
53 |
let decode64 s = |
let decode64 s = |