# HG changeset patch # User Robert Casties # Date 1517424925 -3600 # Node ID e3de0d89e1c19e82c7b3e38a59d2a09a41429c48 # Parent d397cdea832c10e6cc4da0b38f3a7ed5d00c5907 use special web.xml when building pdf servlet. building with -ppdf uses web-pdf.xml as web.xml. diff -r d397cdea832c -r e3de0d89e1c1 webapp/pom.xml --- a/webapp/pom.xml Wed Jan 31 19:53:29 2018 +0100 +++ b/webapp/pom.xml Wed Jan 31 19:55:25 2018 +0100 @@ -274,7 +274,25 @@ jar compile + + digilib + digilib-servlet3 + jar + compile + + + + + org.apache.maven.plugins + maven-war-plugin + + ${basedir}/src/main/webapp/WEB-INF/web-pdf.xml + srv3pdf + + + + text diff -r d397cdea832c -r e3de0d89e1c1 webapp/src/main/webapp/WEB-INF/web-pdf.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/webapp/src/main/webapp/WEB-INF/web-pdf.xml Wed Jan 31 19:55:25 2018 +0100 @@ -0,0 +1,80 @@ + + + + + + digilib + + + This is the web frontend of the Digital Document Library. + + + + + digilib.conf.DigilibServlet3Configuration + + + + + + Scaler + + + digilib.servlet.Scaler + + + + 5 + + + true + + + + + Scaler + + + /servlet/Scaler/* + + + + + Scaler + + + /Scaler/* + + + + + + PDFCache + digilib.servlet.PDFCache + + + + + digilib.conf.PDFServletConfiguration + + + + + PDFCache + /PDFCache/* + + + PDFCache + /servlet/PDFCache/* + + + PDFCache + /authenticated/servlet/PDFCache/* + + + +