Package org.activemath.config

This package is responsible for global configurations of the ActiveMath servlets.

See:
Description

Class Summary

Manager	A class to read configuration information from the configuration files and optionally offer the anchoring to factory methods that provide the implementation for standard interfaces of the abstractcontent package.
ManagerSubconfiguration	A class to produce a Subconfiguration object from the Manager's properties.
ProofPackageVersions
ServletContextConfigurator	Run-once class to adjust the directories of ActiveMath when deployed as web-application.

Error Summary

BadConfigurationError

Package org.activemath.config Description

This package is responsible for global configurations of the ActiveMath servlets. It contains mostly the Manager package which all classes should use to get the current User-Model or MBase wrapper objects.

Once this will be done, it will also contain startup and shutdown code. This is currently not needed as it is enough to startup or shut down the tomcat server itself with the proper configurations as stored in the conf folder.