Servers which don't exist are listed in ChIPS; how can I remove them?
The list_servers command returns a list of servers that may be available to the user. The list is derived by checking for local socket files used by chips. It is possible that old socket files may exist - e.g. if ChIPS exited improperly at some point - and those servers are not available for use. The check_server_exists command indicates when a server is not available:
chips> check_server_exists("ChipsServer_7358_1") False
The server named "ChipsServer_7358_1" is not actually available in this session.
The socket files are stored in /tmp/.chips.username. Delete these files to clean out the server list:
unix% rm /tmp/.chips.username/.*