equal
deleted
inserted
replaced
41 |
41 |
42 def nl2br(text): |
42 def nl2br(text): |
43 return text.replace('\n', '<br/>\n') |
43 return text.replace('\n', '<br/>\n') |
44 |
44 |
45 def obfuscate(text): |
45 def obfuscate(text): |
46 return ''.join([ '&#%d' % ord(c) for c in text ]) |
46 return ''.join([ '&#%d;' % ord(c) for c in text ]) |
47 |
47 |
48 def up(p): |
48 def up(p): |
49 if p[0] != "/": p = "/" + p |
49 if p[0] != "/": p = "/" + p |
50 if p[-1] == "/": p = p[:-1] |
50 if p[-1] == "/": p = p[:-1] |
51 up = os.path.dirname(p) |
51 up = os.path.dirname(p) |