version 1.21, 2004/08/17 15:58:56
|
version 1.22, 2004/08/18 15:59:04
|
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 485 class VLP_resource(ECHO_resource):
|
Line 485 class VLP_resource(ECHO_resource):
|
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""" |
|
|