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


[Previous][Next] [Up]