From: Andreas L. Delmelle Date: Wed, 28 Sep 2005 20:41:38 +0000 (+0000) Subject: Slight modification to user config file format X-Git-Tag: fop-0_90-alpha1~168 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=0d958797f24f630650d5fdd45eabfa8fd69933a7;p=xmlgraphics-fop.git Slight modification to user config file format git-svn-id: https://svn.apache.org/repos/asf/xmlgraphics/fop/trunk@292290 13f79535-47bb-0310-9956-ffa450edef68 --- diff --git a/conf/fop.xconf b/conf/fop.xconf index d3fc5794b..c5534b134 100644 --- a/conf/fop.xconf +++ b/conf/fop.xconf @@ -14,16 +14,16 @@ the location of this file. - - - - - + + + + + - - + + diff --git a/src/java/org/apache/fop/apps/FOUserAgent.java b/src/java/org/apache/fop/apps/FOUserAgent.java index 6c278428a..b462bc58c 100644 --- a/src/java/org/apache/fop/apps/FOUserAgent.java +++ b/src/java/org/apache/fop/apps/FOUserAgent.java @@ -353,10 +353,9 @@ public class FOUserAgent { */ 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()) { @@ -372,18 +371,19 @@ public class FOUserAgent { } 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); }