diff options
| author | edwin <edwin@FreeBSD.org> | 2003-02-23 23:29:46 +0000 |
|---|---|---|
| committer | edwin <edwin@FreeBSD.org> | 2003-02-23 23:29:46 +0000 |
| commit | a65f0a0320730dee7604e67882edf5b8d9a7b083 (patch) | |
| tree | 77630c2663bcd5981120f285193bbec7d02eabc4 /palm/plucker | |
| parent | 5eebc4b9b7581605cc46739f7122702c3b0d5dfa (diff) | |
| download | FreeBSD-ports-a65f0a0320730dee7604e67882edf5b8d9a7b083.zip FreeBSD-ports-a65f0a0320730dee7604e67882edf5b8d9a7b083.tar.gz | |
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>
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 c5e1133..321a91d 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 0000000..e45ab1e --- /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: |
