Don't purge the header database when updating the server info. This
authorChris Hanson <org/chris-hanson/cph>
Mon, 28 Oct 1996 00:13:58 +0000 (00:13 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 28 Oct 1996 00:13:58 +0000 (00:13 +0000)
commit2b199935664f062fdecc6805d745121c65befc10
tree3a17c46df831cab1a3a80c5a06fca7f755a9960f
parent977ca6b527efd6637ff0cc472e1d04901087da93
Don't purge the header database when updating the server info.  This
caused the newsreader startup to be extremely slow.
v7/src/edwin/nntp.scm