# HG changeset patch
# User robcast
# Date 1093388789 -7200
# Node ID 465641fd157c0a0ada4806e67a2b61976f5f9a26
# Parent 6609839813d0904a03fd0d627b39b1f9330027da
servlet version 1.19b5
- filename and dpi in request
- filename and dpi in dlInfo-*
diff -r 6609839813d0 -r 465641fd157c servlet/src/digilib/servlet/DigilibRequest.java
--- a/servlet/src/digilib/servlet/DigilibRequest.java Thu Aug 12 02:33:10 2004 +0200
+++ b/servlet/src/digilib/servlet/DigilibRequest.java Wed Aug 25 01:06:29 2004 +0200
@@ -67,7 +67,8 @@
* mo: special options like 'fit' for gifs.
* mk: list of marks.
* pt: total number of pages (generated by sevlet).
- * baseURL: base URL (from http:// to below /servlet).
+ * baseURL: base URL (from http:// to below /servlet).
+ * ...et alii
*
* @author casties
*
@@ -130,7 +131,7 @@
newParameter("ddpiy", new Float(0), null, 's');
/*
- * Parameter of type 'i' are not exchanged between client and server
+ * Parameters of type 'i' are not exchanged between client and server
*/
// url of the page/document (first part, may be empty)
@@ -145,15 +146,21 @@
servletRequest = null;
/*
- * Parameter of type 'c' are for the clients internal use
+ * Parameters of type 'c' are for the clients use
*/
+ // "real" filename
+ newParameter("img.fn", "", null, 'c');
+ // image dpi x
+ newParameter("img.dpix", new Integer(0), null, 'c');
+ // image dpi y
+ newParameter("img.dpiy", new Integer(0), null, 'c');
+ // total number of pages
+ newParameter("pt", new Integer(0), null, 'c');
// display level of digilib (0 = just image, 1 = one HTML page
// 2 = in frameset, 3 = XUL-'frameset'
// 4 = XUL-Sidebar )
newParameter("lv", new Integer(2), null, 'c');
- // total number of pages
- newParameter("pt", new Integer(0), null, 'c');
// marks
newParameter("mk", "", null, 'c');