The properties files cannot be edited through the user interface – they require direct
access to the server. They are stored in the WEB-INF/config folder.
The Database and JDO properties can ONLY be reloaded by clicking Submit on the database settings page or by restarting PageSeeder.
Hold the pointer over a property name to display a brief description.
The global properties apply to the entire PageSeeder server.
You can find more thorough explanations on the PageSeeder developers’ website:
They specify the JDBC properties used to connect to the PageSeeder database.
The database properties are automatically generated and updated when setting up PageSeeder and mustn’t be modified manually.
These are the default group properties applied to groups. They can be overridden in the group configuration or for the whole
server by creating a group.properties file.
These are the project properties. Where not specified, the default properties apply.
These properties affect how PageSeeder communicates with the database.
These are advanced database settings and mustn’t be modified unless advised by PageSeeder support.
These properties map file extensions to media types using the following format:
[file extension]=[MIME type]There is usually no reason to modify this file; it is only provided to help understand the mapping to media types.
Administration menu >
The PageSeeder user manual
© Allette Systems (Australia)