33
|
1 <%
|
|
2 // checking if the height and width of this client is already known
|
|
3 if ((request.getParameter("dw") == null) || (request.getParameter("dh") == null)) {
|
|
4 %>
|
|
5
|
|
6 <html>
|
|
7 <head>
|
|
8 <script language="Javascript">
|
|
9
|
|
10 function redirect() {
|
|
11
|
|
12 if (navigator.appName.toLowerCase() == "netscape") { // mozilla-browsers (netscape 4.xx, netscape 6.xx, etc.)
|
|
13 client = "&dw=" + (innerWidth-30) + "&dh=" + (innerHeight-30);
|
|
14 } else { // ie
|
|
15 client = "&dw=" + (document.body.clientWidth-30) + "&dh=" + (document.body.clientHeight-30);
|
|
16 }
|
|
17
|
|
18 location.replace("dlImage.jsp?<%= request.getQueryString() %>" + client);
|
|
19 }
|
|
20
|
|
21 </script>
|
|
22 </head>
|
|
23 <body bgcolor="#666666" onload="redirect()">
|
|
24 </body>
|
|
25 </html>
|
|
26
|
|
27 <%
|
|
28 } else {
|
|
29
|
|
30 // default values for parameters
|
|
31 String fn = "/"; // url of the page/document
|
|
32 String pn = "1"; // page number
|
|
33 String ws = "1"; // scale factor
|
|
34 String mo = ""; // special options like 'fit' for gifs
|
|
35 String mk = "0/0"; // marks
|
|
36 String wx = "0"; // left edge of image (float from 0 to 1)
|
|
37 String wy = "0"; // top edge in image (float from 0 to 1)
|
|
38 String ww = "1"; // width of image (float from 0 to 1)
|
|
39 String wh = "1"; // height of image (float from 0 to 1)
|
|
40 String dw = ""; // width of client in pixels
|
|
41 String dh = ""; // height of client in pixels
|
|
42
|
|
43 String pt = ""; // (module pagesTotal.js) total number of pages
|
|
44
|
|
45 // overrriding default parameters with provided parameters from query-string
|
|
46 if (request.getParameter("fn") != null) fn = request.getParameter("fn");
|
|
47 if (request.getParameter("pn") != null) pn = request.getParameter("pn");
|
|
48 if (request.getParameter("ws") != null) ws = request.getParameter("ws");
|
|
49 if (request.getParameter("mo") != null) mo = request.getParameter("mo");
|
|
50 if (request.getParameter("mk") != null) mk = request.getParameter("mk");
|
|
51 if (request.getParameter("wx") != null) wx = request.getParameter("wx");
|
|
52 if (request.getParameter("wy") != null) wy = request.getParameter("wy");
|
|
53 if (request.getParameter("ww") != null) ww = request.getParameter("ww");
|
|
54 if (request.getParameter("wh") != null) wh = request.getParameter("wh");
|
|
55 if (request.getParameter("dw") != null) dw = request.getParameter("dw");
|
|
56 if (request.getParameter("dh") != null) dh = request.getParameter("dh");
|
|
57 if (request.getParameter("pt") != null) pt = request.getParameter("pt");
|
|
58
|
50
|
59 //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;
|
|
60
|
|
61 String baseUrl = request.getRequestURL().toString();
|
|
62 int eop = baseUrl.lastIndexOf("/");
|
|
63 if (eop > 0) {
|
|
64 baseUrl = baseUrl.substring(0, eop);
|
|
65 } else {
|
|
66 baseUrl = "http://" + request.getServerName() + "/docuserver/digitallibrary";
|
|
67 }
|
|
68
|
|
69 String imageLocation = baseUrl + "/servlet/Scaler/" + fn + "?pn=" + pn + "&ws=" + ws + "&mo=" + mo + "&wx=" + wx + "&wy=" + wy + "&ww=" + ww + "&wh=" + wh + "&dw=" + dw + "&dh=" + dh;
|
33
|
70
|
|
71 %>
|
|
72
|
|
73 <html>
|
|
74 <head>
|
|
75 <script language="JavaScript">
|
|
76
|
50
|
77 var baseUrl = "<%= baseUrl %>";
|
|
78
|
33
|
79 // browser version test to include the corresponding navigation-file
|
41
|
80 if (navigator.userAgent.toLowerCase().indexOf("opera") > -1) {
|
|
81 document.write('<script src="navigation_o6.js"><\/script>');
|
|
82 } else if (navigator.userAgent.toLowerCase().indexOf("msie") > -1) {
|
|
83 document.write('<script src="navigation_ie.js"><\/script>');
|
|
84 } else if (navigator.userAgent.toLowerCase().indexOf("mozilla\/4") > -1) {
|
33
|
85 document.write('<script src="navigation_n4.js"><\/script>');
|
41
|
86 } else if (navigator.userAgent.toLowerCase().indexOf("mozilla\/5") > -1) {
|
33
|
87 document.write('<script src="navigation_n6.js"><\/script>');
|
|
88 } else {
|
41
|
89 alert('Your browser is not directly supported by this client right now.\n\nLoading now the optimised version for Netscape 6, that sticks the most to the w3c specifications.');
|
33
|
90 document.write('<script src="navigation_n6.js"><\/script>');
|
|
91 }
|
|
92
|
|
93 // add module to show the total number of pages (not browser dependant!)
|
|
94 document.write('<script src="modules\/pagesTotal.js"><\/script>');
|
50
|
95 // document.write('<script src="modules\/pdfMaker.js"><\/script>');
|
33
|
96
|
|
97 </script>
|
|
98 </head>
|
|
99 <body bgcolor="#666666" onload='init_pagesTotal("<%= fn %>", "<%= pn %>", "<%= ws %>", "<%= mo %>", "<%= mk %>", "<%= wx %>", "<%= wy %>", "<%= ww %>", "<%= wh %>", "<%= pt %>")'>
|
|
100
|
|
101 <div id="lay1" style="position: absolute; left: 10px; top: 10px; visibility: visible"><img name="pic" src="<%= imageLocation %>" border="0"></div>
|
|
102
|
|
103 <div id="dot0" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="mark1.gif" border="0"></div>
|
|
104 <div id="dot1" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="mark2.gif" border="0"></div>
|
|
105 <div id="dot2" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="mark3.gif" border="0"></div>
|
|
106 <div id="dot3" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="mark4.gif" border="0"></div>
|
|
107 <div id="dot4" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="mark5.gif" border="0"></div>
|
|
108 <div id="dot5" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="mark6.gif" border="0"></div>
|
|
109 <div id="dot6" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="mark7.gif" border="0"></div>
|
|
110 <div id="dot7" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="mark8.gif" border="0"></div>
|
|
111 <div id="eck1" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="olinks.gif" border="0"></div>
|
|
112 <div id="eck2" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="orechts.gif" border="0"></div>
|
|
113 <div id="eck3" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="ulinks.gif" border="0"></div>
|
|
114 <div id="eck4" style="position: absolute; left: -20; top: 100; visibility: hidden"><img src="urechts.gif" border="0"></div>
|
|
115 </body>
|
|
116 </html>
|
|
117 <%
|
|
118 }
|
|
119 %>
|