darcsweb.cgi
Sun Nov 13 11:07:41 UTC 2011 pinterface <pix@kepibu.org>
* minidom chokes on form feed character
--- old-darcsweb-1/darcsweb.cgi 2014-09-11 07:38:45.000000000 +0000
+++ new-darcsweb-1/darcsweb.cgi 2014-09-11 07:38:45.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)