save the cache for every 10000 headers recieved

This commit is contained in:
Ward Wouts 2003-07-13 11:28:32 +00:00
parent bc42886d52
commit cf1c476d54

View file

@ -1,6 +1,6 @@
################################# #################################
# #
# $Dwarf: article.rb,v 1.71 2003/07/13 09:52:53 ward Exp $ # $Dwarf: article.rb,v 1.72 2003/07/13 10:38:53 ward Exp $
# $Source$ # $Source$
# #
# article.rb # article.rb
@ -126,6 +126,7 @@ def get_articles(cachedir=false)
print "rangelist elements: #{range.diff(@connections[server]["skip_ids"]).elements}\n" if Debuglevel > 2 print "rangelist elements: #{range.diff(@connections[server]["skip_ids"]).elements}\n" if Debuglevel > 2
begin begin
unless rangelist == nil or rangelist =~ /^$/ unless rangelist == nil or rangelist =~ /^$/
headerlines = 0
for i in rangelist.split(',') for i in rangelist.split(',')
print "i: #{i}\n" if Debuglevel > 2 print "i: #{i}\n" if Debuglevel > 2
begin begin
@ -153,6 +154,11 @@ def get_articles(cachedir=false)
add(art[id]["messid"], id, server, art[id]["subject"]) add(art[id]["messid"], id, server, art[id]["subject"])
end end
end end
headerlines += subj_lines.length
if headerlines >= 10000
save_cache(cachedir)
headerlines = 0
end
end end
end end
rescue PermError rescue PermError