;

Stopping and Starting Protege Server

5 min

Starting

Starting the server manually

To start the server from login at the server's desktop, navigate to the directory and then:

  • On Windows: run run_protege_server.bat, e.g. via a shortcut on the desktop.

  • Mac OS X, Linux or Unix: from a terminal window, run run_protege_server.sh

Starting the server automatically

Preferably, start the Essential Server via a Windows Service or configured in the Unix/Linux start-up scripts. If the server platform has already started and the Essential Server is not running, start the Windows Service via the Services control panel or run the run_protege_server.sh script as a background job,

./run_protege_server.sh &

Stopping (non-Windows)

To stop the Essential Server:

  • Go to the directory

  • Run the shutdown_protege_server.sh file. A hostname can be passed to this batch file to terminate a remote server. Use with care.

To completely stop all components of the Essential Server the Java RMIRegistry must also be stopped. Ensure that the Essential Server has been stopped before stopping the RMIRegistry.

At a terminal command line, type:

ps -ef grep rmiregistry

Find the process ID of 'rmiregistry' by using the following command at a terminal prompt:

kill -9 <PID>

where is the process ID of the rmiregistry process.

Stopping (Windows)

A restart of the Protege Server without first stopping the RMIRegistry will not cause any problems, as the RMIRegistry will only start if an existing RMIRegistry is not already running (it implements a Singleton pattern).

To stop the Essential Server:

  • Go to the directory

  • Run the shutdown_protege_server.bat file. A hostname can be passed to this batch file to terminate a remote server. Use with care.

To completely stop all components of the Essential Server the Java RMIRegistry must also be stopped. Ensure that the Protege Server has been stopped before stopping the RMIRegistry.

A desktop shortcut can be defined to the shutdown_protege_server.bat file to make it clearer how to stop the repository server. Give that shortcut an icon like the red box with the white "off" symbol on it.

To stop the RMI Registry:

  • Open the Windows Task Manager:

  • Find the process called "rmiregistry". Terminate this process.

A restart of the Protege Server without first stopping the RMIRegistry will not cause any problems, as the RMIRegistry will only start if an existing RMIRegistry is not already running (it implements a Singleton pattern).

Updated 31 October 2023

Contact Us