# HG changeset patch
# User Robert Casties <casties@mpiwg-berlin.mpg.de>
# Date 1517424662 -3600
# Node ID fa7855d377a9ac590461b9daccd4a58b78d46a44
# Parent  1f51277a03573be8442f0d2665888d410c5e9775
small fixes.

diff -r 1f51277a0357 -r fa7855d377a9 pdf/src/main/java/digilib/pdf/PDFTitlePage.java
--- 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);
 
diff -r 1f51277a0357 -r fa7855d377a9 pdf/src/main/java/digilib/servlet/PDFCache.java
--- 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