Record buffer maintained in server_info.
authorAdam Dickmeiss <adam@indexdata.dk>
Fri, 8 Sep 1995 08:53:22 +0000 (08:53 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Fri, 8 Sep 1995 08:53:22 +0000 (08:53 +0000)

No differences found