version 1.136, 2004/07/08 15:23:20
|
version 1.137, 2004/07/13 13:40:11
|
Line 751 class ECHO_resource(Folder,Persistent):
|
Line 751 class ECHO_resource(Folder,Persistent):
|
texttools=dom.getElementsByTagName('texttool') |
texttools=dom.getElementsByTagName('texttool') |
text=texttools[0].getElementsByTagName('text') |
text=texttools[0].getElementsByTagName('text') |
texturl=getText(text[0].childNodes) |
texturl=getText(text[0].childNodes) |
self.REQUEST.RESPONSE.setHeader('Content-Type','text/xml') |
|
if not noredirect: |
if not noredirect: |
|
self.REQUEST.RESPONSE.setHeader('Content-Type','text/xml') |
self.REQUEST.RESPONSE.redirect(texturl) |
self.REQUEST.RESPONSE.redirect(texturl) |
else: |
else: |
return texturl |
return texturl |