annotate client/digitallibrary/server/dlCache.jsp @ 217:9f596e9ab6fb

digilib directory cache information
author robcast
date Tue, 29 Jun 2004 12:06:37 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
217
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
1 <%@ page language="java" %>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
2
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
3 <%!
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
4 // authentication stuff - robert
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
5 // -----------------------------
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
6 // create DocumentBean instance for all JSP requests
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
7 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
8
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
9 // initialize DocumentBean instance in JSP init
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
10 public void jspInit() {
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
11 try {
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
12 // set servlet init-parameter
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
13 docBean.setConfig(getServletConfig());
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
14 } catch (javax.servlet.ServletException e) {
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
15 System.out.println(e);
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
16 }
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
17 }
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
18 %>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
19
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
20 <%
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
21 // get digilib config
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
22 digilib.servlet.DigilibConfiguration dlConfig = docBean.getDlConfig();
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
23 // dir cache
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
24 digilib.io.DocuDirCache dirCache = (digilib.io.DocuDirCache) dlConfig.getValue("servlet.dir.cache");
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
25 %>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
26
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
27 <html>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
28 <head>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
29 <title>Digilib cache info</title>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
30 </head>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
31
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
32 <h1>Digilib cache info</h1>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
33
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
34
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
35 <table>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
36 <tr>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
37 <td>size (directories)</td><td><b><%= dirCache.size() %></b></td>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
38 <td></td>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
39 </tr>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
40 <tr>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
41 <td>numFiles</td><td><b><%= dirCache.getNumFiles() %></b></td>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
42 <td></td>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
43 </tr>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
44 <tr>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
45 <td>hits</td><td><b><%= dirCache.getHits() %></b></td>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
46 <td></td>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
47 </tr>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
48 <tr>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
49 <td>misses</td><td><b><%= dirCache.getMisses() %></b></td>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
50 <td></td>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
51 </tr>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
52 </table>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
53
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
54 <table>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
55 <%
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
56 Object[] keys = dirCache.getChildren("", true).toArray();
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
57 java.util.Arrays.sort(keys);
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
58 int l = keys.length;
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
59 for (int i = 0; i < l; i++) {
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
60 String key = (String) keys[i];
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
61 // digilib.io.DocuDirectory val = (digilib.io.DocuDirectory) dirCache.getDirectory(key);
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
62 %>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
63 <tr>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
64 <td valign="top"><%= key %></td><td><b><%= 1 /* val.getDirName() */ %></b></td>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
65 <td></td>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
66 </tr>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
67 <%
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
68 }
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
69 %>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
70 </table>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
71
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
72 </body>
9f596e9ab6fb digilib directory cache information
robcast
parents:
diff changeset
73 </html>