mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-23 00:43:28 +00:00
Code Issues Releases Activity

Update: palm/plucker 1.2 -> 1.2_1

Browse Source 
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>
This commit is contained in:
Edwin Groothuis 2003-02-23 23:29:46 +00:00
parent d0ff67a36f
commit 82189ec246
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=76333
2 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
palm/plucker/Makefile
View File

@ -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}

20
palm/plucker/files/patch-parser::python::PyPlucker::Writer.py Normal file
View File

@ -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: