or, if the server has a Tcl shell:sshutdown
% exit
A server that has no shell can be shut down by running the program sshutdown . This program uses options to determine how to find the server. For that purpose, set your environment variable SHORE_RC to point to the configuration file. If you are using all the default values, you do not need to set SHORE_RC. The options used are svas_remote_pmap, and svas_remote_port and svas_host.
An example configuration file that will work for the server, and for the sshutdown program, and for clients is as follows:
shore.?.?.svas_host: localhost shore.client.sshutdown.svas_remote_pmap: no shore.client.sshutdown.svas_remote_port: 2998
The values chosen for svas_remote_pmap, and svas_remote_port must match those used for the server that you are trying to shut down.
Only the super-user and the Shore administrator can shut down the server with sshutdown. The Shore administrator, for this purpose, is the user id under which the server is running.