comparison client/digitallibrary/dlInfo-js.jsp @ 78:e0dcac9c66fa

New servlet version 1.5b. Mostly cleanup. Global parameters for digilib now in DigilibConfiguration, per request parameters are now all in DigilibRequest. The DocuImage implementation can be selected by the configuration docuimage-class. Pixel-by-pixel view implemented with "mo=clip".
author robcast
date Fri, 24 Jan 2003 22:13:49 +0100
parents
children 0dd38cb2961f
comparison
equal deleted inserted replaced
77:b877e54b0794 78:e0dcac9c66fa
1 <%@ page language="java" %>
2
3 <%!
4 // authentication stuff - robert
5 // -----------------------------
6 // create DocumentBean instance for all JSP requests
7 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();
8
9 // initialize DocumentBean instance in JSP init
10 public void jspInit() {
11 try {
12 // set servlet init-parameter
13 docBean.setConfig(getServletConfig());
14 } catch (javax.servlet.ServletException e) {
15 System.out.println(e);
16 }
17 }
18 %>
19
20 <%
21 // parse the query
22 digilib.servlet.DigilibRequest dlRequest = new digilib.servlet.DigilibRequest(request);
23 // add number of pages from DocBean
24 dlRequest.setPt(docBean.getNumPages(dlRequest));
25 %>
26
27 // Automatically generated JavaScript snippet with parameters
28
29 var dlreqPt = <%= dlRequest.getPt() %>; // total number of pages (generated by sevlet)
30
31 var dlreqRequestPath = "<%= dlRequest.getRequestPath() %>"; // url of the page/document
32 var dlreqFn = "<%= dlRequest.getFn() %>"; // url of the page/document
33 var dlreqFilePath = "<%= dlRequest.getFilePath() %>"; // effective path of the page/document
34 var dlreqPn = "<%= dlRequest.getPn() %>"; // page number
35 var dlreqDw = "<%= dlRequest.getDw() %>"; // width of client in pixels
36 var dlreqDh = "<%= dlRequest.getDh() %>"; // height of client in pixels
37 var dlreqWx = "<%= dlRequest.getWx() %>"; // left edge of image (float from 0 to 1)
38 var dlreqWy = "<%= dlRequest.getWy() %>"; // top edge in image (float from 0 to 1)
39 var dlreqWw = "<%= dlRequest.getWw() %>"; // width of image (float from 0 to 1)
40 var dlreqWh = "<%= dlRequest.getWh() %>"; // height of image (float from 0 to 1)
41 var dlreqWs = "<%= dlRequest.getWs() %>"; // scale factor
42 var dlreqMo = "<%= dlRequest.getMo() %>"; // special options like 'fit' for gifs
43 var dlreqMk = "<%= dlRequest.getMk() %>"; // marks
44 var dlreqBaseURL = "<%= dlRequest.getBaseURL() %>"; // base URL (from http:// to below /servlet)