Retrieves the id of the ChIPS server to which the client is connected.
The get_server_id command allows the user to retrieve the id of the ChIPS server to which the client is connected. This is useful to know when connecting to the same server from several clients (e.g. the ChIPS GUI, multiple xterms, or an xterm and an application such as prism).
chips> get_server_id() "ChipsServer_6979_1"
The server id for this client is "ChipsServer_6979_1".
Behavior when run with no server
If the client is not connected to any server - either because no server has yet been started or disconnect() has been called - then a new server will be started and the id of this server will be returned. This routine can therefore not be used to determine whether a client is connected to a server or not.
This behavior may be changed in a future release.
See the bugs pages on the ChIPS website for an up-to-date listing of known bugs.