annotate client/digitallibrary/dlInfo-js.jsp @ 223:41de43a00bf8

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