diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/client/digitallibrary/dlInfo-js.jsp	Tue May 13 21:02:22 2003 +0200
@@ -0,0 +1,44 @@
+<%@ page language="java" %>
+
+<%!
+// authentication stuff - robert
+// -----------------------------
+// create DocumentBean instance for all JSP requests
+digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();
+
+// initialize DocumentBean instance in JSP init
+public void jspInit() {
+    try {
+        // set servlet init-parameter
+        docBean.setConfig(getServletConfig());
+    } catch (javax.servlet.ServletException e) {
+        System.out.println(e);
+    }
+}
+%>
+
+<%
+// parse the query
+digilib.servlet.DigilibRequest dlRequest = new digilib.servlet.DigilibRequest(request);
+// add number of pages from DocBean
+dlRequest.setPt(docBean.getNumPages(dlRequest));
+%>
+
+// Automatically generated JavaScript snippet with parameters
+
+var dlreqPt = <%= dlRequest.getPt() %>; // total number of pages (generated by sevlet)
+
+var dlreqRequestPath = "<%= dlRequest.getRequestPath() %>";  // url of the page/document			
+var dlreqFn = "<%= dlRequest.getFn() %>"; // url of the page/document
+var dlreqFilePath = "<%= dlRequest.getFilePath() %>"; // effective path of the page/document
+var dlreqPn = "<%= dlRequest.getPn() %>"; // page number
+var dlreqDw = "<%= dlRequest.getDw() %>"; // width of client in pixels
+var dlreqDh = "<%= dlRequest.getDh() %>"; // height of client in pixels
+var dlreqWx = "<%= dlRequest.getWx() %>"; // left edge of image (float from 0 to 1)
+var dlreqWy = "<%= dlRequest.getWy() %>"; // top edge in image (float from 0 to 1)
+var dlreqWw = "<%= dlRequest.getWw() %>"; // width of image (float from 0 to 1)
+var dlreqWh = "<%= dlRequest.getWh() %>"; // height of image (float from 0 to 1)
+var dlreqWs = "<%= dlRequest.getWs() %>"; // scale factor
+var dlreqMo = "<%= dlRequest.getMo() %>"; // special options like 'fit' for gifs
+var dlreqMk = "<%= dlRequest.getMk() %>"; // marks
+var dlreqBaseURL = "<%= dlRequest.getBaseURL() %>"; // base URL (from http:// to below /servlet)