annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
78
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
1 <%@ page language="java" %>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
2
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
3 <%!
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
4 // authentication stuff - robert
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
5 // -----------------------------
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
6 // create DocumentBean instance for all JSP requests
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
7 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
8
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
9 // initialize DocumentBean instance in JSP init
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
10 public void jspInit() {
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
11 try {
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
12 // set servlet init-parameter
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
13 docBean.setConfig(getServletConfig());
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
14 } catch (javax.servlet.ServletException e) {
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
15 System.out.println(e);
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
16 }
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
17 }
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
18 %>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
19
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
20 <%
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
21 // parse the query
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
22 digilib.servlet.DigilibRequest dlRequest = new digilib.servlet.DigilibRequest(request);
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
23 // add number of pages from DocBean
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
24 dlRequest.setPt(docBean.getNumPages(dlRequest));
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
25 %>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
26
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
27 // Automatically generated JavaScript snippet with parameters
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
28
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
29 var dlreqPt = <%= dlRequest.getPt() %>; // total number of pages (generated by sevlet)
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
30
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
31 var dlreqRequestPath = "<%= dlRequest.getRequestPath() %>"; // url of the page/document
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
32 var dlreqFn = "<%= dlRequest.getFn() %>"; // url of the page/document
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
33 var dlreqFilePath = "<%= dlRequest.getFilePath() %>"; // effective path of the page/document
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
34 var dlreqPn = "<%= dlRequest.getPn() %>"; // page number
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
35 var dlreqDw = "<%= dlRequest.getDw() %>"; // width of client in pixels
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
36 var dlreqDh = "<%= dlRequest.getDh() %>"; // height of client in pixels
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
37 var dlreqWx = "<%= dlRequest.getWx() %>"; // left edge of image (float from 0 to 1)
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
38 var dlreqWy = "<%= dlRequest.getWy() %>"; // top edge in image (float from 0 to 1)
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
39 var dlreqWw = "<%= dlRequest.getWw() %>"; // width of image (float from 0 to 1)
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
40 var dlreqWh = "<%= dlRequest.getWh() %>"; // height of image (float from 0 to 1)
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
41 var dlreqWs = "<%= dlRequest.getWs() %>"; // scale factor
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
42 var dlreqMo = "<%= dlRequest.getMo() %>"; // special options like 'fit' for gifs
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
43 var dlreqMk = "<%= dlRequest.getMk() %>"; // marks
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
44 var dlreqBaseURL = "<%= dlRequest.getBaseURL() %>"; // base URL (from http:// to below /servlet)