Mercurial > hg > digilib-old
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) |