|AHELP for CIAO 4.9 ChIPS v1||
Disconnects a client from a ChIPS server.
The disconnect command disconnects a client from a ChIPS server. A client may only be connected to one server at a time, and so must disconnect from one server before accessing another. For instance, if you want to control a server that was created by Prism from an xterm window which is attached to another server. Note that if ChIPS is not connected to a server and a command which requires the server is issued, ChIPS will automatically launch a new server.
If a client which is already connected to a server attempts to connect to another server, it will automatically disconnect from the current server and connect to the new server.
When the last client connected to a ChIPS server exits, the ChIPS server is terminated.
chips> print(get_server_id()) ChipsServer_6979_1 chips> print(list_servers()) ['ChipsServer_6979_1', 'ChipsServer_20997_1'] chips> disconnect() chips> connect()
The client is initially connected to the server with id "ChipsServer_6979_1". The disconnect command is called, followed by a command to connect to the other server.
See the bugs pages on the ChIPS website for an up-to-date listing of known bugs.