# 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');