Page History
...
- Type 'cd /usr/local/protege/Protege_x.x/<PROTEGE INSTANCE>Explanation.Server-x.x.x. Type './stop_explanation_server.sh http:localhost:<port>/explain/'. After executing, the following message should be displayed in the console: 'Request sent to server.' This message indicates that the explanation server has successfully communicated with the Protege server that it will be shutting down. Next, do a 'ps -ef | grep server' to see if the explanation server was killed.
...