Page History
...
- Navigate to /local/content/protege/scripts/
- To shutdown the protegeserver: "./shutdown.sh"
- To shutdown the explanation server: ???? “./pellet server --config /local/content/protege/protegedata/configdata/server.properties stop"
Startup
- Navigate to /local/content/protege/scripts/
- To startup protege server: "./run-background.sh"
- Do "tail ../logs/protserv-console.txt" to check that the protege server is running.
- To startup explanation server: “./pellet server --config /local/content/protege/protegedata/configdata/server.properties start"
- Do "tail ../logs/pellet-console.txt" to check that the explanation server is running.
...