17.9 Terminating a server
It is care of the user to terminate each graphics server before logging out, in order
not to leave hanging processes.
This is achieved from any session in which a server is registered with command
deleteserver [server instance
sax.iasf-milano.inaf.it/Xashelp/graph.9.html
:: original creation 2002 Sep 04 18:05:31 CEST ::
last edit 2002 Sep 04 18:05:31 CEST