<!-- NOTE: This is the version of the configuration -->
<fop version="1.0">
- <userAgent>
- <base url="./"/>
- <!-- pixel to millimeter to specify dpi, 72dpi -->
- <pixelToMillimeter value="0.35277777777777777778"/>
- <!-- default page-height and page-width, in case
- value is specified as auto -->
+ <base url="./"/>
+ <!-- pixel to millimeter to specify dpi, 72dpi -->
+ <pixelToMillimeter value="0.35277777777777777778"/>
+ <pagesettings>
+ <!-- default page-height and page-width, in case
+ value is specified as auto -->
<pageHeight value="11in"/>
<pageWidth value="8.26in"/>
- </userAgent>
-
+ </pagesettings>
+
<!-- Information for specific renderers -->
<!-- Uses renderer mime type for renderers -->
<renderers>
*/
public void initUserConfig() throws ConfigurationException {
log.info("Initializing User Agent Configuration");
- Configuration cfgUserAgent = userConfig.getChild("userAgent");
- if (cfgUserAgent.getChild("base", false) != null) {
+ if (userConfig.getChild("base", false) != null) {
try {
- String cfgBaseDir = cfgUserAgent.getChild("base")
+ String cfgBaseDir = userConfig.getChild("base")
.getAttribute("url");
File dir = new File(cfgBaseDir);
if (dir.isDirectory()) {
}
log.info("Base URL set to: " + baseURL);
}
- if (cfgUserAgent.getChild("pixelToMillimeter", false) != null) {
- this.px2mm = cfgUserAgent.getChild("pixelToMillimeter")
+ if (userConfig.getChild("pixelToMillimeter", false) != null) {
+ this.px2mm = userConfig.getChild("pixelToMillimeter")
.getAttributeAsFloat("value", DEFAULT_PX2MM);
log.info("pixelToMillimeter set to: " + px2mm);
}
- if (cfgUserAgent.getChild("pageHeight", false) != null) {
- setPageHeight(cfgUserAgent.getChild("pageHeight")
+ Configuration pageConfig = userConfig.getChild("pagesettings");
+ if (pageConfig.getChild("pageHeight", false) != null) {
+ setPageHeight(pageConfig.getChild("pageHeight")
.getAttribute("value"));
log.info("Default page-height set to: " + pageHeight);
}
- if (cfgUserAgent.getChild("pageWidth", false) != null) {
- setPageWidth(cfgUserAgent.getChild("pageWidth")
+ if (pageConfig.getChild("pageWidth", false) != null) {
+ setPageWidth(pageConfig.getChild("pageWidth")
.getAttribute("value"));
log.info("Default page-width set to: " + pageWidth);
}