version 1.20, 2004/08/17 15:22:14
|
version 1.21, 2004/08/17 15:58:56
|
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 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) |
|
|
|
|