comparison client/digitallibrary/dlInfo-js.jsp @ 254:a6bd80bcd28b

servlet version 1.19b5 - filename and dpi in request - filename and dpi in dlInfo-*
author robcast
date Wed, 25 Aug 2004 01:07:13 +0200
parents 0dd38cb2961f
children bc9196347188
comparison
equal deleted inserted replaced
253:2adfb8bea870 254:a6bd80bcd28b
1 <%@ page language="java" %> 1 <%@ page language="java" %>
2
3 <%! 2 <%!
4 /* authentication stuff - robert
5 * -----------------------------
6 */
7 // create DocumentBean instance for all JSP requests 3 // create DocumentBean instance for all JSP requests
8 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean(); 4 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();
9 5
10 // initialize DocumentBean instance in JSP init 6 // initialize DocumentBean instance in JSP init
11 public void jspInit() { 7 public void jspInit() {
14 docBean.setConfig(getServletConfig()); 10 docBean.setConfig(getServletConfig());
15 } catch (javax.servlet.ServletException e) { 11 } catch (javax.servlet.ServletException e) {
16 System.out.println(e); 12 System.out.println(e);
17 } 13 }
18 } 14 }
15 %><%
16 // parsing the query
17 digilib.servlet.DigilibRequest dlRequest = new digilib.servlet.DigilibRequest(request);
18 docBean.setRequest(dlRequest);
19 %> 19 %>
20 20 // Automatically generated JavaScript snippet with parameters
21 <% 21 <%
22 // parse the query 22 Object[] keys = dlRequest.keySet().toArray();
23 digilib.servlet.DigilibRequest dlRequest = new digilib.servlet.DigilibRequest(request); 23 java.util.Arrays.sort(keys);
24 // add number of pages from DocBean 24 int l = keys.length;
25 dlRequest.setPt(docBean.getNumPages(dlRequest)); 25 for (int i = 0; i < l; i++) {
26 String key = (String) keys[i];
27 String val = dlRequest.getAsString(key);
28 if (val.length() == 0) {
29 val = "";
30 }
31 %>var dl_<%= key %> = "<%= val %>";
32 <%
33 }
26 %> 34 %>
27
28 // Automatically generated JavaScript snippet with parameters
29
30 var dlreqPt = <%= dlRequest.getPt() %>; // total number of pages (generated by sevlet)
31
32 var dlreqRequestPath = "<%= dlRequest.getRequestPath() %>"; // url of the page/document
33 var dlreqFn = "<%= dlRequest.getFn() %>"; // url of the page/document
34 var dlreqFilePath = "<%= dlRequest.getFilePath() %>"; // effective path of the page/document
35 var dlreqPn = "<%= dlRequest.getPn() %>"; // page number
36 var dlreqDw = "<%= dlRequest.getDw() %>"; // width of client in pixels
37 var dlreqDh = "<%= dlRequest.getDh() %>"; // height of client in pixels
38 var dlreqWx = "<%= dlRequest.getWx() %>"; // left edge of image (float from 0 to 1)
39 var dlreqWy = "<%= dlRequest.getWy() %>"; // top edge in image (float from 0 to 1)
40 var dlreqWw = "<%= dlRequest.getWw() %>"; // width of image (float from 0 to 1)
41 var dlreqWh = "<%= dlRequest.getWh() %>"; // height of image (float from 0 to 1)
42 var dlreqWs = "<%= dlRequest.getWs() %>"; // scale factor
43 var dlreqMo = "<%= dlRequest.getMo() %>"; // special options like 'fit' for gifs
44 var dlreqMk = "<%= dlRequest.getMk() %>"; // marks
45 var dlreqBaseURL = "<%= dlRequest.getBaseURL() %>"; // base URL (from http:// to below /servlet)