X-Git-Url: https://git.openstreetmap.org./osqa.git/blobdiff_plain/1a949f7c97dc2f34c135f5cdf088df2927d3d652..31f67094578292b834139406a9aaea3a15123218:/forum/utils/html2text.py

diff --git a/forum/utils/html2text.py b/forum/utils/html2text.py
index 3b51771..c666610 100644
--- a/forum/utils/html2text.py
+++ b/forum/utils/html2text.py
@@ -1,140 +1,140 @@
-# Copyright (c) 2001 Chris Withers
-#
-# This Software is released under the MIT License:
-# http://www.opensource.org/licenses/mit-license.html
-# See license.txt for more details.
-#
-# $Id: html2text.py,v 1.7 2002/12/17 16:56:17 fresh Exp $
-
-import sgmllib
-from string import lower, replace, split, join
-
-class HTML2Text(sgmllib.SGMLParser):
-
-    from htmlentitydefs import entitydefs # replace entitydefs from sgmllib
-
-    def __init__(self, ignore_tags=(), indent_width=4, page_width=80):
-        sgmllib.SGMLParser.__init__(self)
-        self.result = ""
-        self.indent = 0
-        self.ol_number = 0
-        self.page_width=page_width
-        self.inde_width=indent_width
-        self.lines=[]
-        self.line=[]
-        self.ignore_tags = ignore_tags
-
-    def add_text(self,text):
-        # convert text into words
-        words = split(replace(text,'\n',' '))
-        self.line.extend(words)
-
-    def add_break(self):
-        self.lines.append((self.indent,self.line))
-        self.line=[]
-
-    def generate(self):
-        # join lines with indents
-        indent_width = self.inde_width
-        page_width = self.page_width
-        out_paras=[]
-        for indent,line in self.lines+[(self.indent,self.line)]:
-
-            i=indent*indent_width
-            indent_string = i*' '
-            line_width = page_width-i
-
-            out_para=''
-            out_line=[]
-            len_out_line=0
-            for word in line:
-                len_word = len(word)
-                if len_out_line+len_word<line_width:
-                    out_line.append(word)
-                    len_out_line = len_out_line + len_word
-                else:
-                    out_para = out_para + indent_string + join(out_line, ' ') + '\n'
-                    out_line=[word]
-                    len_out_line=len_word
-
-            out_para = out_para + indent_string + join(out_line, ' ')
-            out_paras.append(out_para)
-
-        self.result = join(out_paras,'\n\n')
-
-
-    def mod_indent(self,i):
-        self.indent = self.indent + i
-        if self.indent < 0:
-            self.indent = 0
-
-    def handle_data(self, data):
-        if data:
-            self.add_text(data)
-
-    def unknown_starttag(self, tag, attrs):
-        """ Convert HTML to something meaningful in plain text """
-        tag = lower(tag)
-
-        if tag not in self.ignore_tags:
-            if tag[0]=='h' or tag in ['br','pre','p','hr']:
-                # insert a blank line
-                self.add_break()
-
-            elif tag =='img':
-                # newline, text, newline
-                src = ''
-
-                for k, v in attrs:
-                    if lower(k) == 'src':
-                        src = v
-
-                self.add_break()
-                self.add_text('Image: ' + src)
-
-            elif tag =='li':
-                self.add_break()
-                if self.ol_number:
-                    # num - text
-                    self.add_text(str(self.ol_number) + ' - ')
-                    self.ol_number = self.ol_number + 1
-                else:
-                    # - text
-                    self.add_text('- ')
-
-            elif tag in ['dd','dt']:
-                self.add_break()
-                # increase indent
-                self.mod_indent(+1)
-
-            elif tag in ['ul','dl','ol']:
-                # blank line
-                # increase indent
-                self.mod_indent(+1)
-                if tag=='ol':
-                    self.ol_number = 1
-
-    def unknown_endtag(self, tag):
-        """ Convert HTML to something meaningful in plain text """
-        tag = lower(tag)
-
-        if tag not in self.ignore_tags:
-            if tag[0]=='h' or tag in ['pre']:
-                # newline, text, newline
-                self.add_break()
-
-            elif tag =='li':
-                self.add_break()
-
-            elif tag in ['dd','dt']:
-                self.add_break()
-                # descrease indent
-                self.mod_indent(-1)
-
-            elif tag in ['ul','dl','ol']:
-                # blank line
-                self.add_break()
-                # decrease indent
-                self.mod_indent(-1)
-                self.ol_number = 0
-
+# Copyright (c) 2001 Chris Withers
+#
+# This Software is released under the MIT License:
+# http://www.opensource.org/licenses/mit-license.html
+# See license.txt for more details.
+#
+# $Id: html2text.py,v 1.7 2002/12/17 16:56:17 fresh Exp $
+
+import sgmllib
+from string import lower, replace, split, join
+
+class HTML2Text(sgmllib.SGMLParser):
+
+    from htmlentitydefs import entitydefs # replace entitydefs from sgmllib
+
+    def __init__(self, ignore_tags=(), indent_width=4, page_width=80):
+        sgmllib.SGMLParser.__init__(self)
+        self.result = ""
+        self.indent = 0
+        self.ol_number = 0
+        self.page_width=page_width
+        self.inde_width=indent_width
+        self.lines=[]
+        self.line=[]
+        self.ignore_tags = ignore_tags
+
+    def add_text(self,text):
+        # convert text into words
+        words = split(replace(text,'\n',' '))
+        self.line.extend(words)
+
+    def add_break(self):
+        self.lines.append((self.indent,self.line))
+        self.line=[]
+
+    def generate(self):
+        # join lines with indents
+        indent_width = self.inde_width
+        page_width = self.page_width
+        out_paras=[]
+        for indent,line in self.lines+[(self.indent,self.line)]:
+
+            i=indent*indent_width
+            indent_string = i*' '
+            line_width = page_width-i
+
+            out_para=''
+            out_line=[]
+            len_out_line=0
+            for word in line:
+                len_word = len(word)
+                if len_out_line+len_word<line_width:
+                    out_line.append(word)
+                    len_out_line = len_out_line + len_word
+                else:
+                    out_para = out_para + indent_string + join(out_line, ' ') + '\n'
+                    out_line=[word]
+                    len_out_line=len_word
+
+            out_para = out_para + indent_string + join(out_line, ' ')
+            out_paras.append(out_para)
+
+        self.result = join(out_paras,'\n\n')
+
+
+    def mod_indent(self,i):
+        self.indent = self.indent + i
+        if self.indent < 0:
+            self.indent = 0
+
+    def handle_data(self, data):
+        if data:
+            self.add_text(data)
+
+    def unknown_starttag(self, tag, attrs):
+        """ Convert HTML to something meaningful in plain text """
+        tag = lower(tag)
+
+        if tag not in self.ignore_tags:
+            if tag[0]=='h' or tag in ['br','pre','p','hr']:
+                # insert a blank line
+                self.add_break()
+
+            elif tag =='img':
+                # newline, text, newline
+                src = ''
+
+                for k, v in attrs:
+                    if lower(k) == 'src':
+                        src = v
+
+                self.add_break()
+                self.add_text('Image: ' + src)
+
+            elif tag =='li':
+                self.add_break()
+                if self.ol_number:
+                    # num - text
+                    self.add_text(str(self.ol_number) + ' - ')
+                    self.ol_number = self.ol_number + 1
+                else:
+                    # - text
+                    self.add_text('- ')
+
+            elif tag in ['dd','dt']:
+                self.add_break()
+                # increase indent
+                self.mod_indent(+1)
+
+            elif tag in ['ul','dl','ol']:
+                # blank line
+                # increase indent
+                self.mod_indent(+1)
+                if tag=='ol':
+                    self.ol_number = 1
+
+    def unknown_endtag(self, tag):
+        """ Convert HTML to something meaningful in plain text """
+        tag = lower(tag)
+
+        if tag not in self.ignore_tags:
+            if tag[0]=='h' or tag in ['pre']:
+                # newline, text, newline
+                self.add_break()
+
+            elif tag =='li':
+                self.add_break()
+
+            elif tag in ['dd','dt']:
+                self.add_break()
+                # descrease indent
+                self.mod_indent(-1)
+
+            elif tag in ['ul','dl','ol']:
+                # blank line
+                self.add_break()
+                # decrease indent
+                self.mod_indent(-1)
+                self.ol_number = 0
+