diff options
author | Andreas L. Delmelle <adelmelle@apache.org> | 2005-09-28 20:41:38 +0000 |
---|---|---|
committer | Andreas L. Delmelle <adelmelle@apache.org> | 2005-09-28 20:41:38 +0000 |
commit | 0d958797f24f630650d5fdd45eabfa8fd69933a7 (patch) | |
tree | 00e2e5a1b236b365b6ce99888366905ea71b7cf5 /src/java/org | |
parent | ce41ee5eaf87be28d99fcf5b6f1c6e7ce38ba741 (diff) | |
download | xmlgraphics-fop-0d958797f24f630650d5fdd45eabfa8fd69933a7.tar.gz xmlgraphics-fop-0d958797f24f630650d5fdd45eabfa8fd69933a7.zip |
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
Diffstat (limited to 'src/java/org')
-rw-r--r-- | src/java/org/apache/fop/apps/FOUserAgent.java | 18 |
1 files changed, 9 insertions, 9 deletions
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); } |