# HG changeset patch
# User luginbue
# Date 1014254826 -3600
# Node ID 054ebc8510596d6bebf05d6c39ccb14ab9c9efbc
# Parent c5ca5f72fb653356b00a5f723b08578d6d2f1bf6
first update of new client-version
diff -r c5ca5f72fb65 -r 054ebc851059 client/digitallibrary/dlImage.jsp
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/client/digitallibrary/dlImage.jsp Thu Feb 21 02:27:06 2002 +0100
@@ -0,0 +1,105 @@
+<%
+// checking if the height and width of this client is already known
+if ((request.getParameter("dw") == null) || (request.getParameter("dh") == null)) {
+%>
+
+
+
+
+
+
+
+
+
+<%
+} else {
+
+// default values for parameters
+String fn = "/"; // url of the page/document
+String pn = "1"; // page number
+String ws = "1"; // scale factor
+String mo = ""; // special options like 'fit' for gifs
+String mk = "0/0"; // marks
+String wx = "0"; // left edge of image (float from 0 to 1)
+String wy = "0"; // top edge in image (float from 0 to 1)
+String ww = "1"; // width of image (float from 0 to 1)
+String wh = "1"; // height of image (float from 0 to 1)
+String dw = ""; // width of client in pixels
+String dh = ""; // height of client in pixels
+
+String pt = ""; // (module pagesTotal.js) total number of pages
+
+// overrriding default parameters with provided parameters from query-string
+if (request.getParameter("fn") != null) fn = request.getParameter("fn");
+if (request.getParameter("pn") != null) pn = request.getParameter("pn");
+if (request.getParameter("ws") != null) ws = request.getParameter("ws");
+if (request.getParameter("mo") != null) mo = request.getParameter("mo");
+if (request.getParameter("mk") != null) mk = request.getParameter("mk");
+if (request.getParameter("wx") != null) wx = request.getParameter("wx");
+if (request.getParameter("wy") != null) wy = request.getParameter("wy");
+if (request.getParameter("ww") != null) ww = request.getParameter("ww");
+if (request.getParameter("wh") != null) wh = request.getParameter("wh");
+if (request.getParameter("dw") != null) dw = request.getParameter("dw");
+if (request.getParameter("dh") != null) dh = request.getParameter("dh");
+if (request.getParameter("pt") != null) pt = request.getParameter("pt");
+
+String imageLocation = "http://" + request.getServerName() + "/docuserver/digitallibrary/servlet/Scaler/" + fn + "?pn=" + pn + "&ws=" + ws + "&mo=" + mo + "&wx=" + wx + "&wy=" + wy + "&ww=" + ww + "&wh=" + wh + "&dw=" + dw + "&dh=" + dh;
+
+%>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+<%
+}
+%>
diff -r c5ca5f72fb65 -r 054ebc851059 client/digitallibrary/dlMenu.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/client/digitallibrary/dlMenu.html Thu Feb 21 02:27:06 2002 +0100
@@ -0,0 +1,106 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Contexthelp
Keep area