Sun Nov 13 11:07:41 UTC 2011 pinterface <pix@kepibu.org>
* minidom chokes on form feed character
diff -rN -u old-darcsweb/darcsweb.cgi new-darcsweb/darcsweb.cgi
--- old-darcsweb/darcsweb.cgi 2013-07-18 20:23:40.000000000 +0000
+++ new-darcsweb/darcsweb.cgi 2013-07-18 20:23:40.000000000 +0000
@@ -999,7 +999,7 @@
# minidom know the source encoding
s = ""
for i in src:
- s += fixu8(i)
+ s += fixu8(i).replace('', '^L')
dom = xml.dom.minidom.parseString(s)