annotate client/digitallibrary/server/dlConfig.jsp @ 78:e0dcac9c66fa

New servlet version 1.5b. Mostly cleanup. Global parameters for digilib now in DigilibConfiguration, per request parameters are now all in DigilibRequest. The DocuImage implementation can be selected by the configuration docuimage-class. Pixel-by-pixel view implemented with "mo=clip".
author robcast
date Fri, 24 Jan 2003 22:13:49 +0100
parents
children a934824c894d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
78
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
1 <%@ page language="java" %>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
2
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
3 <%!
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
4 // authentication stuff - robert
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
5 // -----------------------------
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
6 // create DocumentBean instance for all JSP requests
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
7 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
8
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
9 // initialize DocumentBean instance in JSP init
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
10 public void jspInit() {
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
11 try {
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
12 // set servlet init-parameter
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
13 docBean.setConfig(getServletConfig());
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
14 } catch (javax.servlet.ServletException e) {
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
15 System.out.println(e);
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
16 }
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
17 }
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
18 %>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
19
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
20 <%
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
21 // get digilib config
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
22 digilib.servlet.DigilibConfiguration dlConfig = docBean.getDlConfig();
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
23 // parsing the query
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
24 digilib.servlet.DigilibRequest dlRequest = new digilib.servlet.DigilibRequest(request);
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
25 // add number of pages
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
26 dlRequest.setPt(docBean.getNumPages(dlRequest));
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
27 %>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
28
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
29 <html>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
30 <head>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
31 <title>Digilib configuration page</title>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
32 </head>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
33
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
34 <body>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
35 <h1>Local request information</h1>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
36
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
37 <table>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
38 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
39 <td>Pt</td><td><b><%= dlRequest.getPt() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
40 <td><i>total number of pages (generated by servlet)</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
41 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
42 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
43 <td>RequestPath</td><td><b><%= dlRequest.getRequestPath() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
44 <td><i>url of the page/document</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
45 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
46 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
47 <td>Fn</td><td><b><b><%= dlRequest.getFn() %></b></td><td><i>url of the page/document</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
48 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
49 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
50 <td>FilePath</td><td><b><%= dlRequest.getFilePath() %></b></td><td><i>effective path of the page/document</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
51 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
52 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
53 <td>Pn</td><td><b><%= dlRequest.getPn() %></b></td><td><i>page number</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
54 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
55 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
56 <td>Dw</td><td><b><%= dlRequest.getDw() %></b></td><td><i>width of client in pixels</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
57 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
58 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
59 <td>Dh</td><td><b><%= dlRequest.getDh() %></b></td><td><i>height of client in pixels</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
60 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
61 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
62 <td>Wx</td><td><b><%= dlRequest.getWx() %></b></td><td><i>left edge of image (float from 0 to 1)</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
63 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
64 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
65 <td>Wy</td><td><b><%= dlRequest.getWy() %></b></td><td><i>top edge in image (float from 0 to 1)</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
66 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
67 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
68 <td>Ww</td><td><b><%= dlRequest.getWw() %></b></td><td><i>width of image (float from 0 to 1)</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
69 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
70 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
71 <td>Wh</td><td><b><%= dlRequest.getWh() %></b></td><td><i>height of image (float from 0 to 1)</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
72 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
73 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
74 <td>Ws</td><td><b><%= dlRequest.getWs() %></b></td><td><i>scale factor</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
75 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
76 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
77 <td>Mo</td><td><b><%= dlRequest.getMo() %></b></td><td><i>special options like 'fit' for gifs</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
78 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
79 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
80 <td>Mk</td><td><b><%= dlRequest.getMk() %></b></td><td><i>marks</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
81 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
82 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
83 <td>BaseURL</td><td colspan="2"><b><%= dlRequest.getBaseURL() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
84 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
85 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
86 <td></td><td></td><td><i>base URL (from http:// to below /servlet)</i></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
87 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
88 </table>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
89
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
90
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
91 <h1>Global servlet configuration</h1>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
92
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
93 <table>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
94 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
95 <td>ServletVersion</td><td><b><%= dlConfig.getServletVersion() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
96 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
97 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
98 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
99 <td>AuthConfPath</td><td><b><%= dlConfig.getAuthConfPath() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
100 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
101 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
102 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
103 <td>AuthURLPath</td><td><b><%= dlConfig.getAuthURLPath() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
104 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
105 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
106 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
107 <td>BaseDirs</td><td><b><%= dlConfig.getBaseDirList() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
108 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
109 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
110 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
111 <td>DebugLevel</td><td><b><%= dlConfig.getDebugLevel() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
112 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
113 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
114 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
115 <td>DenyImgFileName</td><td><b><%= dlConfig.getDenyImgFileName() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
116 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
117 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
118 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
119 <td>DLConfPath</td><td><b><%= dlConfig.getDlConfPath() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
120 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
121 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
122 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
123 <td>DocuImageType</td><td><b><%= dlConfig.getDocuImageType() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
124 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
125 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
126 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
127 <td>ErrorImgFileName</td><td><b><%= dlConfig.getErrorImgFileName() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
128 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
129 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
130 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
131 <td>SendFileAllowed</td><td><b><%= dlConfig.isSendFileAllowed() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
132 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
133 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
134 <tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
135 <td>UseAuthentication</td><td><b><%= dlConfig.isUseAuthentication() %></b></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
136 <td></td>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
137 </tr>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
138 </table>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
139
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
140 </body>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
141 </html>