annotate client/digitallibrary/dlInfo-js.jsp @ 111:d6a76e2fcb21

Installation of XUL-Buttons in chrome
author engler
date Wed, 14 May 2003 12:21:34 +0200
parents e0dcac9c66fa
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)