version 1.14, 2008/08/05 16:17:46
|
version 1.15, 2008/09/08 11:12:41
|
Line 192 def link2html(self,str):
|
Line 192 def link2html(self,str):
|
|
|
str=re.sub("\&","&",str) |
str=re.sub("\&","&",str) |
dom=xml.dom.minidom.parseString("<?xml version='1.0' encoding='utf-8'?><txt>"+utf8ify(str)+"</txt>") |
dom=xml.dom.minidom.parseString("<?xml version='1.0' encoding='utf-8'?><txt>"+utf8ify(str)+"</txt>") |
|
|
|
|
links=dom.getElementsByTagName("link") |
links=dom.getElementsByTagName("link") |
|
|
|
|
Line 200 def link2html(self,str):
|
Line 202 def link2html(self,str):
|
ref=link.getAttribute("ref") |
ref=link.getAttribute("ref") |
pn=link.getAttribute("page") |
pn=link.getAttribute("page") |
mk=link.getAttribute("mk") |
mk=link.getAttribute("mk") |
|
href= link.getAttribute("href") |
|
if href: |
|
link.setAttribute("class","external") |
|
|
if self.checkRef(ref): |
if self.checkRef(ref): |
more = "" |
more = "" |
Line 211 def link2html(self,str):
|
Line 216 def link2html(self,str):
|
|
|
link.setAttribute("href",self.REQUEST['SERVER_URL']+"/references?id="+ref+more) |
link.setAttribute("href",self.REQUEST['SERVER_URL']+"/references?id="+ref+more) |
|
|
|
|
newxml=dom.toxml('utf-8') |
newxml=dom.toxml('utf-8') |
|
|
|
|
|
|
retStr=regexpTXT.search(newxml) |
retStr=regexpTXT.search(newxml) |
retStr = retStr.group(1) |
retStr = retStr.group(1) |
|
|