bug die razor vond

This commit is contained in:
Ward Wouts 2004-06-07 21:47:51 +00:00
parent 4b15d8fead
commit 233fc507d8

View file

@ -1,4 +1,4 @@
# $Dwarf: article.rb,v 1.85 2004/06/04 09:11:01 ward Exp $ # $Dwarf: article.rb,v 1.86 2004/06/04 09:20:23 ward Exp $
# $Source$ # $Source$
# #
@ -52,7 +52,7 @@ def initialize(nntpservers, groupname, newsrc="~/.newsrc")
@connections[server]["skip_ids"] = Set::IntSpan.new() @connections[server]["skip_ids"] = Set::IntSpan.new()
@connections[server]["newsrc"] = News::Newsrc.new("#{newsrc}.#{server}") @connections[server]["newsrc"] = News::Newsrc.new("#{newsrc}.#{server}")
set_skip_ids(server, @connections[server]["newsrc"].marked_articles(@group)) set_skip_ids(server, @connections[server]["newsrc"].marked_articles(@group))
rescue SocketError, Errno::EINVAL, EOFError rescue SocketError, Errno::EINVAL, EOFError, Errno::ETIMEDOUT
print "Connection to #{server} failed: #{$!}\n" print "Connection to #{server} failed: #{$!}\n"
del_server(server) del_server(server)
end end