annotate client/digitallibrary/server/dlConfig.jsp @ 117:a934824c894d

config with cache info
author robcast
date Wed, 11 Jun 2003 20:26:51 +0200
parents e0dcac9c66fa
children e4f095227510
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>
117
a934824c894d config with cache info
robcast
parents: 78
diff changeset
111 <td>DebugLevel</td><td><b><%= dlConfig.getDebugLevel() %></b> (<%= dlConfig.getUtil().getDebugLevel() %>)</td>
78
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
117
a934824c894d config with cache info
robcast
parents: 78
diff changeset
140 <h2>Directory cache</h2>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
141
a934824c894d config with cache info
robcast
parents: 78
diff changeset
142 <table>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
143 <tr>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
144 <td>size (directories)</td><td><b><%= dlConfig.getDirCache().size() %></b></td>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
145 <td></td>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
146 </tr>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
147 <tr>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
148 <td>numFiles</td><td><b><%= dlConfig.getDirCache().getNumFiles() %></b></td>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
149 <td></td>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
150 </tr>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
151 <tr>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
152 <td>hits</td><td><b><%= dlConfig.getDirCache().getHits() %></b></td>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
153 <td></td>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
154 </tr>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
155 <tr>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
156 <td>misses</td><td><b><%= dlConfig.getDirCache().getMisses() %></b></td>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
157 <td></td>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
158 </tr>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
159 </table>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
160
a934824c894d config with cache info
robcast
parents: 78
diff changeset
161 <h2>JVM configuration</h2>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
162
a934824c894d config with cache info
robcast
parents: 78
diff changeset
163 <table>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
164 <tr>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
165 <td>java.awt.headless</td><td><b><%= System.getProperty("java.awt.headless") %></b></td>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
166 <td></td>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
167 </tr>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
168 </table>
a934824c894d config with cache info
robcast
parents: 78
diff changeset
169
78
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
170 </body>
e0dcac9c66fa New servlet version 1.5b.
robcast
parents:
diff changeset
171 </html>