diff options
| -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: |
