equal
deleted
inserted
replaced
41 <body> |
41 <body> |
42 <h1>$title</h1> |
42 <h1>$title</h1> |
43 <p>$message</p> |
43 <p>$message</p> |
44 <p>$extra</p> |
44 <p>$extra</p> |
45 </body> |
45 </body> |
46 </html>]]; |
46 </html> |
|
47 ]]; |
47 html = html:gsub("%s%s+", ""); |
48 html = html:gsub("%s%s+", ""); |
48 |
49 |
49 local entities = { |
50 local entities = { |
50 ["<"] = "<", [">"] = ">", ["&"] = "&", |
51 ["<"] = "<", [">"] = ">", ["&"] = "&", |
51 ["'"] = "'", ["\""] = """, ["\n"] = "<br/>", |
52 ["'"] = "'", ["\""] = """, ["\n"] = "<br/>", |