# HG changeset patch # User robcast # Date 1134156009 -3600 # Node ID ffb2036da2057883ca4502797dd6171701d18fb3 # Parent d6ab9dc48d52999721cd3348f154166976510dae first stab at PDF printer servlet. DOES NOT WORK YET! diff -r d6ab9dc48d52 -r ffb2036da205 servlet/src/digilib/servlet/Scaler.java --- a/servlet/src/digilib/servlet/Scaler.java Fri Dec 09 20:20:09 2005 +0100 +++ b/servlet/src/digilib/servlet/Scaler.java Fri Dec 09 20:20:09 2005 +0100 @@ -221,7 +221,7 @@ // output mime-type String mimeType = "image/png"; - /* parameters for a session */ + /* preset request parameters */ // scale the image file to fit window size i.e. respect dw,dh boolean scaleToFit = true; @@ -660,6 +660,7 @@ "ERROR: Other Image Operation Error: " + e, response); } } + /** * Returns the DocuDirent corresponding to the DigilibRequest. *