!	 $Id: disconnect,v 1.4 2002/02/21 17:16:31 f Exp $
!
! Copyright (c) 2000, Matthew Green
!
! All rights reserved.  See the HELP SCROLLZ COPYRIGHT file for more
! information.
!
Usage: DISCONNECT [<server-index>]
  Makes ScrollZ disconnect from server number <server-index> or the current
  window's server if no index is given.

See Also:
  SERVER
  WINDOW SERVER