Handling of shiro.ini configuration files

Feature

• With release 1.12.1 shiro.ini files are added to the Reporting Database to allow active clustering across a number of JOC Cockpit instances with session sharing.
• Therefore the configuration file ./jetty_base/resources/joc/shiro.ini.active should not be modified manually.
• Modifications to the Shiro configuration can be performed in two places:
  • by using the JOC Cockpit GUI with the Account Management operation after login to JOC Cockpit.
  • by providing a file shiro.ini with the same content as shiro.ini.active. The content of the file shiro.ini will be added to the database before authentication/authorization is performed. JOC Cockpit performs the following operations:
    • rename an existing file shiro.ini.active to shiro.ini.backup
    • add the contents of shiro.ini to the database
    • move the file shiro.ini to shiro.ini.active