Log out from a server.
wlogout [host:port]
Where host:port
is
the host name and HTTP port number of the server from which to log
off. If not specified, the default is the name of the host where
the command is run and port 8000.
Instead of using the host:port syntax,
you can pass the server name, if it is defined in the local repository.