/* Copyright (c) 1993 Stephen F. White */

extern Serverid		 serv_name2id(const char *name);
extern const char	*serv_id2name(Serverid server);
extern void		 serv_id2entry(Serverid server, char *buf);
extern int		 serv_discardmsg(Serverid server, int msgid);