version 1.8, 2004/04/15 21:30:42
|
version 1.9, 2008/09/05 11:42:55
|
Line 35 def changeIndexMeta(argv,path,dirnames):
|
Line 35 def changeIndexMeta(argv,path,dirnames):
|
def readArchimedesXML(folder): |
def readArchimedesXML(folder): |
"""gib URL aus """ |
"""gib URL aus """ |
try: |
try: |
XML=urllib.urlopen("http://archimedes.mpiwg-berlin.mpg.de/cgi-bin/toc/toc.cgi?step=xmlcorpusmanifest").read() |
XML=urllib.urlopen("http://archimedes.mpiwg-berlin.mpg.de/cgi-bin/toc/toc.cgi?step=xmrpusmanifest").read() |
#print XML |
#print XML |
dom=xml.dom.minidom.parseString(XML) |
dom=xml.dom.minidom.parseString(XML) |
items=dom.getElementsByTagName('item') |
items=dom.getElementsByTagName('item') |
Line 106 def changeNodesInIndexMeta(path,node,sub
|
Line 106 def changeNodesInIndexMeta(path,node,sub
|
"""nothing""" |
"""nothing""" |
|
|
namenode=dom.createElement(re.sub(r' ','-',subnode)) |
namenode=dom.createElement(re.sub(r' ','-',subnode)) |
namenodetext=dom.createTextNode(unicode(subnodes[subnode],"utf8")) |
namenodetext=dom.createTextNode(unide(subnodes[subnode],"utf8")) |
namenode.appendChild(namenodetext) |
namenode.appendChild(namenodetext) |
root.appendChild(namenode) |
root.appendChild(namenode) |
|
|