Archives/wikiteam
2
0
Fork 0
mirror of https://github.com/WikiTeam/wikiteam synced 2024-11-04 12:00:28 +00:00
Code Issues Projects Releases Wiki Activity

percent progress

Browse Source 
git-svn-id: https://wikiteam.googlecode.com/svn/trunk@48 31edc4fc-5e31-b4c4-d58b-c8bc928bcb95
This commit is contained in:
emijrp 2011-04-09 11:29:57 +00:00
parent 37f87354e3
commit 2285c2e0a9
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
dumpgenerator.py
View File

@ -297,6 +297,7 @@ def generateXMLDump(config={}, titles=[], start=''):
xmlfile = open('%s/%s' % (config['path'], xmlfilename), 'a') xmlfile = open('%s/%s' % (config['path'], xmlfilename), 'a')
c = 1 c = 1
total = len(titles)
for title in titles: for title in titles:
if title == start: #start downloading from start, included if title == start: #start downloading from start, included
lock = False lock = False
@ -304,7 +305,7 @@ def generateXMLDump(config={}, titles=[], start=''):
continue continue
delay(config=config) delay(config=config)
if c % 10 == 0: if c % 10 == 0:
print ' Downloaded %d pages' % (c) print ' Downloaded %d pages of %d (%.1f%%)' % (c, total, c/(total/100))
xml = getXMLPage(config=config, title=title) xml = getXMLPage(config=config, title=title)
xml = cleanXML(xml=xml) xml = cleanXML(xml=xml)
xmlfile.write(xml) xmlfile.write(xml)