# HG changeset patch # User robcast # Date 1295351889 -3600 # Node ID 065e58f846f7bcfda5da0751f552198faba4a801 # Parent 78e55de45d95e7bf7ba78e8a33b898aaa2a2293f small fix to servlet config diff -r 78e55de45d95 -r 065e58f846f7 client/digitallibrary/WEB-INF/digilib-config.xml --- a/client/digitallibrary/WEB-INF/digilib-config.xml Fri Jan 07 17:47:24 2011 +0100 +++ b/client/digitallibrary/WEB-INF/digilib-config.xml Tue Jan 18 12:58:09 2011 +0100 @@ -37,6 +37,9 @@ + + + - + - + + + + + + + + + + + + + - + diff -r 78e55de45d95 -r 065e58f846f7 servlet/src/digilib/servlet/DigilibConfiguration.java --- a/servlet/src/digilib/servlet/DigilibConfiguration.java Fri Jan 07 17:47:24 2011 +0100 +++ b/servlet/src/digilib/servlet/DigilibConfiguration.java Tue Jan 18 12:58:09 2011 +0100 @@ -172,8 +172,6 @@ newParameter("pdf-temp-dir", "pdf_temp", null, 'f'); // PDF generation cache directory newParameter("pdf-cache-dir", "pdf_cache", null, 'f'); - // PDF generation cache directory - newParameter("pdf-cache-dir", "pdf_cache", null, 'f'); } /**