annotate client/digitallibrary/oldskin/dcMain.jsp @ 314:074c3117f292

big autumn cleaning :-) - finally digilib.jsp uses the new javascript code - dito digicat.jsp - all files corresponding to the old frontend moved into /oldskin - all icons moved into /img
author robcast
date Thu, 28 Oct 2004 22:25:58 +0200
parents 05e51532a982
children 2e09486e33c4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
311
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
1 <%@ page language="java" %><%!
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
2 // authentication stuff - robert
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
3 // -----------------------------
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
4 // create DocumentBean instance for all JSP requests
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
5 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
6
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
7 // initialize DocumentBean instance in JSP init
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
8 public void jspInit() {
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
9 try {
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
10 // set servlet init-parameter
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
11 docBean.setConfig(getServletConfig());
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
12 } catch (javax.servlet.ServletException e) {
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
13 System.out.println(e);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
14 }
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
15 }
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
16 %><%
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
17
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
18 // parsing the query
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
19 // -----------------
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
20
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
21 digilib.servlet.DigilibRequest dcRequest = new digilib.servlet.DigilibRequest(request);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
22 // check if authentication is needed and redirect if necessary
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
23 docBean.doAuthentication(dcRequest, response);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
24 // set number of pages
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
25 dcRequest.setValue("pt", docBean.getNumPages(dcRequest));
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
26 // chop off /oldskin -- ugly ;-(
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
27 String baseUrl = dcRequest.getAsString("base.url");
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
28 int p = baseUrl.lastIndexOf("/oldskin");
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
29 if (p > 0) {
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
30 baseUrl = baseUrl.substring(0, p);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
31 }
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
32 %>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
33 <html>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
34 <head>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
35 <script type="text/javascript" src="../baselib.js"></script>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
36 <script type="text/javascript" src="dclib.js"></script>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
37 <script type="text/javascript">
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
38 var baseUrl = "<%= baseUrl %>";
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
39 newParameter('fn', '', 1);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
40 newParameter('pn', 1, 1);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
41 newParameter('pt', 9, 9);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
42 newParameter('mx', '6x4', 1);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
43 newParameter('mo', '', 1);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
44 newParameter('dw', 0, 1);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
45 newParameter('dh', 0, 1);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
46 dc_init();
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
47 </script>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
48
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
49 <style type="text/css">
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
50 td {
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
51 font-family: Helvetica, Arial, sans-serif;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
52 font-size: 11px;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
53 color: #FFFFFF;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
54 text-align: center;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
55 vertical-align: middle;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
56 }
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
57 .number {
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
58 font-family: Helvetica, Arial, sans-serif;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
59 font-size: 11px;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
60 color: #FFFFFF;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
61 padding-top: 2px;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
62 }
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
63 .nonumber {
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
64 font-family: Helvetica, Arial, sans-serif;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
65 font-size: 11px;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
66 color: #000000;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
67 padding-top: 2px;
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
68 }
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
69 </style>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
70 </head>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
71
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
72 <body bgcolor="#666666">
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
73
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
74 <div align="center">
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
75 <script type="text/javascript">
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
76 dc_render(document);
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
77 </script>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
78 </div>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
79
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
80 </body>
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
81
05e51532a982 big autumn cleaning :-)
robcast
parents:
diff changeset
82 </html>