/** Saves the base configuration the the global configuration object and writes it to file.<br> */
public final void saveBaseConfig() {
ConfigManager.getInstance().getConfig().getBaseConfig().setDocBasedir(this.docBasedir);
ConfigManager.getInstance().getConfig().getBaseConfig().setFileLockTime(this.fileLockTime);
ConfigManager.getInstance()
.getConfig()
.getBaseConfig()
.setNumRecentChanges(this.numRecentChanges);
ConfigManager.getInstance()
.getConfig()
.getBaseConfig()
.setUserDocrootPermission(this.userDocrootPermission);
ConfigManager.getInstance()
.getConfig()
.getBaseConfig()
.setUserFilePermission(this.userFilePermission);
ConfigManager.getInstance()
.getConfig()
.getBaseConfig()
.setPubCompiledDocPermission(this.pubCompiledDocPermission);
ConfigManager.getInstance()
.getConfig()
.getBaseConfig()
.setPubFilePermission(this.pubFilePermission);
ConfigManager.getInstance().saveConfig();
ConfigManager.getInstance().getConfig().getBaseConfig().onChange();
BaseConfigBean.LOGGER.info("Wrote base configuration!");
}
/** Class construction.<br> */
public BaseConfigBean() {
this.refreshBaseConfig();
BaseConfigBean.LOGGER.debug("Creating new baseConfigBean object!");
}
