> Nicolas Iooss <nicolas.iooss@xxxxxxx> writes:
>
>> This file is not used anywhere.
>>
>> Signed-off-by: Nicolas Iooss <nicolas.iooss@xxxxxxx>
>
> Acked-by: Petr Lautrbach <plautrba@xxxxxxxxxx>
Merged.
>
>
>> gui/Makefile | 1 -
>> gui/html_util.py | 175 -----------------------------------------------
>> 2 files changed, 176 deletions(-)
>> delete mode 100644 gui/html_util.py
>>
>> diff --git a/gui/Makefile b/gui/Makefile
>> index a72e58cee9b4..d42348b5f7fe 100644
>> --- a/gui/Makefile
>> +++ b/gui/Makefile
>> @@ -9,7 +9,6 @@ TARGETS= \
>> booleansPage.py \
>> domainsPage.py \
>> fcontextPage.py \
>> -html_util.py \
>> loginsPage.py \
>> modulesPage.py \
>> polgen.ui \
>> diff --git a/gui/html_util.py b/gui/html_util.py
>> deleted file mode 100644
>> index 420f6b967114..000000000000
>> --- a/gui/html_util.py
>> +++ /dev/null
>> @@ -1,175 +0,0 @@
>> -# Authors: John Dennis <jdennis@xxxxxxxxxx>
>> -#
>> -# Copyright (C) 2007 Red Hat, Inc.
>> -#
>> -# This program is free software; you can redistribute it and/or modify
>> -# it under the terms of the GNU General Public License as published by
>> -# the Free Software Foundation; either version 2 of the License, or
>> -# (at your option) any later version.
>> -#
>> -# This program is distributed in the hope that it will be useful,
>> -# but WITHOUT ANY WARRANTY; without even the implied warranty of
>> -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
>> -# GNU General Public License for more details.
>> -#
>> -# You should have received a copy of the GNU General Public License
>> -# along with this program; if not, write to the Free Software
>> -# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
>> -#
>> -
>> -
>> -__all__ = [
>> - 'escape_html',
>> - 'unescape_html',
>> - 'html_to_text',
>> -
>> - 'html_document',
>> -]
>> -
>> -import htmllib
>> -import formatter as Formatter
>> -import string
>> -from types import *
>> -try:
>> - from io import StringIO
>> -except ImportError:
>> - from StringIO import StringIO
>> -
>> -#------------------------------------------------------------------------------
>> -
>> -
>> -class TextWriter(Formatter.DumbWriter):
>> -
>> - def __init__(self, file=None, maxcol=80, indent_width=4):
>> - Formatter.DumbWriter.__init__(self, file, maxcol)
>> - self.indent_level = 0
>> - self.indent_width = indent_width
>> - self._set_indent()
>> -
>> - def _set_indent(self):
>> - self.indent_col = self.indent_level * self.indent_width
>> - self.indent = ' ' * self.indent_col
>> -
>> - def new_margin(self, margin, level):
>> - self.indent_level = level
>> - self._set_indent()
>> -
>> - def send_label_data(self, data):
>> - data = data + ' '
>> - if len(data) > self.indent_col:
>> - self.send_literal_data(data)
>> - else:
>> - offset = self.indent_col - len(data)
>> - self.send_literal_data(' ' * offset + data)
>> -
>> - def send_flowing_data(self, data):
>> - if not data:
>> - return
>> - atbreak = self.atbreak or data[0] in string.whitespace
>> - col = self.col
>> - maxcol = self.maxcol
>> - write = self.file.write
>> - col = self.col
>> - if col == 0:
>> - write(self.indent)
>> - col = self.indent_col
>> - for word in data.split():
>> - if atbreak:
>> - if col + len(word) >= maxcol:
>> - write('\n' + self.indent)
>> - col = self.indent_col
>> - else:
>> - write(' ')
>> - col = col + 1
>> - write(word)
>> - col = col + len(word)
>> - atbreak = 1
>> - self.col = col
>> - self.atbreak = data[-1] in string.whitespace
>> -
>> -
>> -class HTMLParserAnchor(htmllib.HTMLParser):
>> -
>> - def __init__(self, formatter, verbose=0):
>> - htmllib.HTMLParser.__init__(self, formatter, verbose)
>> -
>> - def anchor_bgn(self, href, name, type):
>> - self.anchor = href
>> -
>> - def anchor_end(self):
>> - if self.anchor:
>> - self.handle_data(' (%s) ' % self.anchor)
>> - self.anchor = None
>> -
>> -#------------------------------------------------------------------------------
>> -
>> -
>> -def escape_html(s):
>> - if s is None:
>> - return None
>> - s = s.replace("&", "&") # Must be done first!
>> - s = s.replace("<", "<")
>> - s = s.replace(">", ">")
>> - s = s.replace("'", "'")
>> - s = s.replace('"', """)
>> - return s
>> -
>> -
>> -def unescape_html(s):
>> - if s is None:
>> - return None
>> - if '&' not in s:
>> - return s
>> - s = s.replace("<", "<")
>> - s = s.replace(">", ">")
>> - s = s.replace("'", "'")
>> - s = s.replace(""", '"')
>> - s = s.replace("&", "&") # Must be last
>> - return s
>> -
>> -
>> -def html_to_text(html, maxcol=80):
>> - try:
>> - buffer = StringIO()
>> - formatter = Formatter.AbstractFormatter(TextWriter(buffer, maxcol))
>> - parser = HTMLParserAnchor(formatter)
>> - parser.feed(html)
>> - parser.close()
>> - text = buffer.getvalue()
>> - buffer.close()
>> - return text
>> - except Exception as e:
>> - log_program.error('cannot convert html to text: %s' % e)
>> - return None
>> -
>> -
>> -def html_document(*body_components):
>> - '''Wrap the body components in a HTML document structure with a valid header.
>> - Accepts a variable number of arguments of which can be:
>> - * string
>> - * a sequences of strings (tuple or list).
>> - * a callable object taking no parameters and returning a string or sequence of strings.
>> - '''
>> - head = '<html>\n <head>\n <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>\n </head>\n <body>\n'
>> - tail = '\n </body>\n</html>'
>> -
>> - doc = head
>> -
>> - for body_component in body_components:
>> - if type(body_component) is StringTypes:
>> - doc += body_component
>> - elif type(body_component) in [TupleType, ListType]:
>> - for item in body_component:
>> - doc += item
>> - elif callable(body_component):
>> - result = body_component()
>> - if type(result) in [TupleType, ListType]:
>> - for item in result:
>> - doc += item
>> - else:
>> - doc += result
>> - else:
>> - doc += body_component
>> -
>> - doc += tail
>> - return doc
