version 1.20, 2004/08/17 15:22:14
|
version 1.25, 2004/09/09 16:56:37
|
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: |
# pageummer mit lo oder hi sind aequivalent |
|
if (page.getAttribute('file')==p) or ("%slo"%page.getAttribute('file')==p) or ("%shi"%page.getAttribute('file')==p): |
return page.getAttribute('nr') |
return page.getAttribute('nr') |
|
|
return 0 |
return 0 |
Line 417 class VLP_resource(ECHO_resource):
|
Line 418 class VLP_resource(ECHO_resource):
|
|
|
def firstPage(self,url=None): |
def firstPage(self,url=None): |
"""showlink to the first image""" |
"""showlink to the first image""" |
if self.REQUEST.get('pn')=="1": #erste seinte dann kein a tag |
if self.REQUEST.get('pn','1')=="1": #erste seinte dann kein a tag |
return """<img src="../../images/first.gif" alt="first" width="14" height="14" border="0"><br>first""" |
return """<img src="../../images/first.gif" alt="first" width="14" height="14" border="0"><br>first""" |
|
|
else: |
else: |
Line 432 class VLP_resource(ECHO_resource):
|
Line 433 class VLP_resource(ECHO_resource):
|
if pages: |
if pages: |
ln=len(pages) |
ln=len(pages) |
|
|
if self.REQUEST.get('pn')==str(ln): #letzte seite dann kein a tag |
if (self.REQUEST.get('pn')==str(ln)) or (ln==1): #letzte seite dann kein a tag oder nur eine Seite |
return """<img src="../../images/last.gif" alt="last" width="14" height="14" border="0"><br>last""" |
return """<img src="../../images/last.gif" alt="last" width="14" height="14" border="0"><br>last""" |
|
|
else: |
else: |
Line 447 class VLP_resource(ECHO_resource):
|
Line 448 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 462 class VLP_resource(ECHO_resource):
|
Line 463 class VLP_resource(ECHO_resource):
|
ln=len(pages) |
ln=len(pages) |
|
|
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)) or (ln==1): #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 479 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""" |
|
try: |
|
pn=int(self.REQUEST.get('pn','1')) |
|
except: |
|
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""" |
|
|