comparison client/digitallibrary/dlInfo-js.jsp @ 107:85126da2ae21 vendor start

XUL: Digilib Buttons in chrome
author engler
date Tue, 13 May 2003 21:02:22 +0200
parents
children 0dd38cb2961f
comparison
equal deleted inserted replaced
105:ecee3ff2f4d0 107:85126da2ae21
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)