!	 $eterna: disconnect,v 1.4 2018/06/10 08:17:36 mrg Exp $
!
! Copyright (c) 2000-2018, Matthew Green
!
! All rights reserved.  See the HELP IRCII COPYRIGHT file for more
! information.
!
Usage: DISCONNECT [<server-index>]
  Makes ircII disconnect from server number <server-index> or the current
  window's server if no index is given.

See Also:
  SERVER
  WINDOW SERVER
