Makes ircII disconnect from server number <server-index> or the current window's server if no index is given.
See Also: server window/server
Top level index