2
0
mirror of https://github.com/WikiTeam/wikiteam synced 2024-11-10 13:10:27 +00:00
git-svn-id: https://wikiteam.googlecode.com/svn/trunk@193 31edc4fc-5e31-b4c4-d58b-c8bc928bcb95
This commit is contained in:
emijrp 2011-07-09 18:17:04 +00:00
parent 42640f3781
commit b25bf51a59

View File

@ -422,7 +422,7 @@ def getImageFilenamesURL(config={}):
#print url #print url
raw = urllib.urlopen(url).read() raw = urllib.urlopen(url).read()
if limit > 10 and re.search(ur'(?i)allowed memory size of \d+ bytes exhausted', raw): # delicated wiki if limit > 10 and re.search(ur'(?i)allowed memory size of \d+ bytes exhausted', raw): # delicated wiki
print 'Error: listing %d images in a chunk not possible, trying tiny chunks' % (limit) print 'Error: listing %d images in a chunk is not possible, trying tiny chunks' % (limit)
limit = limit/10 limit = limit/10
continue continue
@ -598,8 +598,9 @@ def welcome():
print '' print ''
def bye(): def bye():
print "Your dump is complete" print "---> Congratulations! Your dump is complete <---"
print "If you found any bug, report a new issue here (Gmail account required): http://code.google.com/p/wikiteam/issues/list" print "If you found any bug, report a new issue here (Gmail account required): http://code.google.com/p/wikiteam/issues/list"
print "If this is a public wiki, please, consider sending us a copy of this dump. Contact us at http://code.google.com/p/wikiteam"
print "Good luck! Bye!" print "Good luck! Bye!"
def usage(): def usage():