From 6dc6450e522f9f192e89475703dbdfe2aea0aa9f Mon Sep 17 00:00:00 2001 From: Stephan Reichholf Date: Fri, 18 Jan 2008 15:18:38 +0000 Subject: [PATCH] replace some control chars we ran into --- webinterface/src/webif.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webinterface/src/webif.py b/webinterface/src/webif.py index 11504e33..a0623e99 100644 --- a/webinterface/src/webif.py +++ b/webinterface/src/webif.py @@ -349,7 +349,7 @@ class TextToXML(Converter): Converter.__init__(self, arg) def getHTML(self, id): - return escape_xml(self.source.text) + return escape_xml(self.source.text).replace("\x19", "").replace("\x1c", "").replace("\x1e", "") class TextToURL(Converter): def __init__(self, arg): -- 2.20.1