This example shows the user smith logging out from the system pluto.
$ exit pluto% logout Connection closed. earth%