diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2003-02-23 23:29:46 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2003-02-23 23:29:46 +0000 |
| commit | 82189ec246a55f70d5668d1cc912e135e0d3a5e4 (patch) | |
| tree | b9d207131f35efe1236f52e2b25c7e84dfce190f /palm/plucker | |
| parent | d0ff67a36fb4dfb9e280040e91c8313ec5fd6296 (diff) | |
| download | ports-82189ec246a55f70d5668d1cc912e135e0d3a5e4.tar.gz ports-82189ec246a55f70d5668d1cc912e135e0d3a5e4.zip | |
Update: palm/plucker 1.2 -> 1.2_1
Fix problem described at
http://gnu-designs.com/bugs/view_bug_advanced_page.php?f_id=450
PR: ports/47730
Submitted by: Maxim Tuliuk <mt@primats.org.ua>
Notes
Notes:
svn path=/head/; revision=76333
Diffstat (limited to 'palm/plucker')
| -rw-r--r-- | palm/plucker/Makefile | 1 | ||||
| -rw-r--r-- | palm/plucker/files/patch-parser::python::PyPlucker::Writer.py | 20 |
2 files changed, 21 insertions, 0 deletions
diff --git a/palm/plucker/Makefile b/palm/plucker/Makefile index c5e1133239dc..321a91d18d03 100644 --- a/palm/plucker/Makefile +++ b/palm/plucker/Makefile @@ -7,6 +7,7 @@ PORTNAME= plucker PORTVERSION= 1.2 +PORTREVISION= 1 CATEGORIES= palm www MASTER_SITES= http://downloads.plkr.org/1.2/ DISTNAME= ${PORTNAME}_bin-${PORTVERSION} diff --git a/palm/plucker/files/patch-parser::python::PyPlucker::Writer.py b/palm/plucker/files/patch-parser::python::PyPlucker::Writer.py new file mode 100644 index 000000000000..e45ab1e541aa --- /dev/null +++ b/palm/plucker/files/patch-parser::python::PyPlucker::Writer.py @@ -0,0 +1,20 @@ +--- parser/python/PyPlucker/Writer.py.bak Tue Oct 15 14:47:39 2002 ++++ parser/python/PyPlucker/Writer.py Fri Jan 31 15:18:09 2003 +@@ -81,7 +81,7 @@ + self._current_id = 11 + + # make sure record number 2 goes to the 'home' document (why?) +- url = self._alias_list.get('plucker:/home.html') ++ url = self._alias_list.get('plucker:///home.html') + if url: + while self._alias_list.has_key(url): + url = self._alias_list.get(url) +@@ -91,7 +91,7 @@ + else: + self._url_to_id_mapping[url] = 2 + else: +- doc = self._url_to_doc_mapping.get('plucker:/home.html') ++ doc = self._url_to_doc_mapping.get('plucker:///home.html') + if doc: + self._doc_to_id_mapping[doc] = 2 + else: |