|AHELP for CIAO 4.9 ChIPS v1||
Determines if the specified server is currently running.
The function arguments.
|server_id||A string containing the name of the server to query; normally of the form "ChipsServer_17334_1".|
The check_server_exists command allows the user to verify that a chips server is running before attempting to connect to it. The call can be used while the client is already connected to a different server without having to first disconnect.
The routine returns True if the requested server exists, otherwise False. If the server does not exist, the routine may take several seconds to return a value, since the request needs to time out.
The list_servers command can be used to find out all the ChIPS servers that are currently running on a machine.
chips> check_server_exists("ChipsServer_17991_1") True chips> check_server_exists("ChipsServer_7358_1") False
Two servers are checked: the first is running and the second doesn't exist.
See the bugs pages on the ChIPS website for an up-to-date listing of known bugs.