changeset 1676:fa7855d377a9

small fixes.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Wed, 31 Jan 2018 19:51:02 +0100
parents 1f51277a0357
children d397cdea832c
files pdf/src/main/java/digilib/pdf/PDFTitlePage.java pdf/src/main/java/digilib/servlet/PDFCache.java
diffstat 2 files changed, 6 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/pdf/src/main/java/digilib/pdf/PDFTitlePage.java	Wed Jan 31 19:49:49 2018 +0100
+++ b/pdf/src/main/java/digilib/pdf/PDFTitlePage.java	Wed Jan 31 19:51:02 2018 +0100
@@ -112,7 +112,7 @@
 		Anchor title = new Anchor(new Paragraph(getTitle(),FontFactory.getFont(FontFactory.HELVETICA,16)));
 		String burl = job_info.getImageJobInformation().getAsString("base.url");
 		
-		title.setReference(burl+"digilib.jsp?fn="+job_info.getImageJobInformation().getAsString("fn"));
+		title.setReference(burl+"digilib.html?fn="+job_info.getImageJobInformation().getAsString("fn"));
 		content.add(title);		
 		content.add(Chunk.NEWLINE);
 
--- a/pdf/src/main/java/digilib/servlet/PDFCache.java	Wed Jan 31 19:49:49 2018 +0100
+++ b/pdf/src/main/java/digilib/servlet/PDFCache.java	Wed Jan 31 19:51:02 2018 +0100
@@ -88,9 +88,11 @@
     private static String JSP_ERROR = "/pdf/error.jsp";
 
     /**
-     * document status. DONE: document exists in cache WIP: document is
-     * "work in progress" NONEXISTENT: document does not exist in cache and is
-     * not in progress ERROR: an error occurred while processing the request
+     * Document status. 
+     * DONE: document exists in cache 
+     * WIP: document is "work in progress" 
+     * NONEXISTENT: document does not exist in cache and is not in progress 
+     * ERROR: an error occurred while processing the request
      */
     public static enum PDFStatus {
         DONE, WIP, NONEXISTENT, ERROR