As optional server side configuration it is possible to use a dedicated set of configurations for a given service depending the used Orbit Workspace.
All server side service configurations are grouped in the according properties.ini or properties.xml configuration file. Optionally it is possible to create a separated service configuration file for a well defined Orbit workspace. This duplicated service configuration file makes it possible to get particular service configuration depending the used workspace.
If there is a “properties_<workspace>” service configuration file, the specified workspace will start this services using this set of configurations.