Am I missing something, or does --no-urlinfo not work (when viewing
a page's details via Options/Details)?
Here's a patch (to released 1.1) that fixes it, but I have little
idea if it's correct. It certainly seems to work, though.
--
Darryl Okahata
[EMAIL PROTECTED]
DISCLAIMER: this message is the author's personal opinion and does not
constitute the support, opinion, or policy of Agilent Technologies, or
of the little green men that have been following him all day.
*** Writer.py.~1~ Tue Sep 19 10:19:52 2000
--- Writer.py Thu May 17 09:14:29 2001
***************
*** 354,359
if pluckerdoc.is_text_document ():
pluckerdoc.resolve_ids (mapping.resolver_function)
self._write_doc (out_dict, pluckerdoc, url, id, mapping, verbose)
## Do some error checking
--- 354,361 -----
if pluckerdoc.is_text_document ():
pluckerdoc.resolve_ids (mapping.resolver_function)
+ if self._config.get_bool ('no_url_info', 0):
+ url = ""
self._write_doc (out_dict, pluckerdoc, url, id, mapping, verbose)
## Do some error checking
