version 1.20, 2004/08/17 15:22:14
|
version 1.22, 2004/08/18 15:59:04
|
Line 386 class VLP_resource(ECHO_resource):
|
Line 386 class VLP_resource(ECHO_resource):
|
|
|
def file2page(self,p): |
def file2page(self,p): |
"""converts filename to pagenumber""" |
"""converts filename to pagenumber""" |
dom=xml.dom.minidom.parse(urllib.urlopen(getattr(self,'index.xml').absolute_url())) |
dom=xml.dom.minidom.parse(ECHO_helpers.urlopen(getattr(self,'index.xml').absolute_url())) |
|
|
for page in dom.getElementsByTagName('page'): |
for page in dom.getElementsByTagName('page'): |
if page.getAttribute('file')==p: |
if page.getAttribute('file')==p: |
Line 447 class VLP_resource(ECHO_resource):
|
Line 447 class VLP_resource(ECHO_resource):
|
|
|
nn = int(self.REQUEST.get('pn','1'))-1 |
nn = int(self.REQUEST.get('pn','1'))-1 |
if nn < 1: #letzte seite dann kein a tag |
if nn < 1: #letzte seite dann kein a tag |
return """<img src="../../images/prev.gif" alt="prev" width="14" height="14" border="0"><br>prev""" |
return """<img src="../../images/lisePrev.gif" alt="prev" width="14" height="14" border="0"><br>prev""" |
|
|
else: |
else: |
return """<a href=%s> |
return """<a href=%s> |
<img src="../../images/prev.gif" alt="prev" width="14" height="14" border="0"><br>prev |
<img src="../../images/lisePrev.gif" alt="prev" width="14" height="14" border="0"><br>prev |
</a> |
</a> |
"""%(self.REQUEST['URL']+"?pn="+str(nn)) |
"""%(self.REQUEST['URL']+"?pn="+str(nn)) |
|
|
Line 463 class VLP_resource(ECHO_resource):
|
Line 463 class VLP_resource(ECHO_resource):
|
|
|
nn = int(self.REQUEST.get('pn','1'))+1 |
nn = int(self.REQUEST.get('pn','1'))+1 |
if nn>int(ln): #letzte seite dann kein a tag |
if nn>int(ln): #letzte seite dann kein a tag |
return """<img src="../../images/next.gif" alt="next" width="14" height="14" border="0"><br>next""" |
return """<img src="../../images/liseNext.gif" alt="next" width="14" height="14" border="0"><br>next""" |
|
|
else: |
else: |
return """<a href=%s> |
return """<a href=%s> |
<img src="../../images/next.gif" alt="next" width="14" height="14" border="0"><br>next |
<img src="../../images/liseNext.gif" alt="next" width="14" height="14" border="0"><br>next |
</a> |
</a> |
"""%(self.REQUEST['URL']+"?pn="+str(nn)) |
"""%(self.REQUEST['URL']+"?pn="+str(nn)) |
|
|
Line 478 class VLP_resource(ECHO_resource):
|
Line 478 class VLP_resource(ECHO_resource):
|
if not url: |
if not url: |
url=self.absolute_url()+"/index.xml" |
url=self.absolute_url()+"/index.xml" |
|
|
fh=urllib.urlopen(url) |
fh=ECHO_helpers.urlopen(url) |
dom=xml.dom.minidom.parse(fh) |
dom=xml.dom.minidom.parse(fh) |
|
|
|
|
for page in dom.getElementsByTagName('page'): |
for page in dom.getElementsByTagName('page'): |
text=getText(page.childNodes) |
text=getText(page.childNodes) |
pageNum=page.getAttribute('nr') |
pageNum=page.getAttribute('nr') |
pagelist.append((pageNum,text)) |
fileName=page.getAttribute('file') |
|
pagelist.append((pageNum,text,fileName)) |
|
|
return pagelist |
return pagelist |
|
|
|
def getFileName(self): |
|
"""getNameOfCurrentFile""" |
|
pn=int(self.REQUEST.get('pn','1')) |
|
pageinfo=self.readIndexFile()[pn-1] |
|
return pageinfo[2] |
|
|
def createIndexFile(self,RESPONSE=None): |
def createIndexFile(self,RESPONSE=None): |
"""create index file""" |
"""create index file""" |
|
|