# HG changeset patch
# User robcast
# Date 1055356011 -7200
# Node ID a934824c894d14c4b8663fcb7dbfcce022747e3b
# Parent  55bc0e928ac5fd40109ffcb10a74a7ceefcc8a2f
config with cache info

diff -r 55bc0e928ac5 -r a934824c894d client/digitallibrary/server/dlConfig.jsp
--- a/client/digitallibrary/server/dlConfig.jsp	Tue May 27 21:41:04 2003 +0200
+++ b/client/digitallibrary/server/dlConfig.jsp	Wed Jun 11 20:26:51 2003 +0200
@@ -108,7 +108,7 @@
     <td></td>
   </tr>
   <tr>
-    <td>DebugLevel</td><td><b><%= dlConfig.getDebugLevel() %></b></td>
+    <td>DebugLevel</td><td><b><%= dlConfig.getDebugLevel() %></b> (<%= dlConfig.getUtil().getDebugLevel() %>)</td>
     <td></td>
   </tr>
   <tr>
@@ -137,5 +137,35 @@
   </tr>
 </table>
 
+<h2>Directory cache</h2>
+
+<table>
+  <tr>
+	<td>size (directories)</td><td><b><%= dlConfig.getDirCache().size() %></b></td>
+    <td></td>
+  </tr>
+  <tr>
+	<td>numFiles</td><td><b><%= dlConfig.getDirCache().getNumFiles() %></b></td>
+    <td></td>
+  </tr>
+  <tr>
+	<td>hits</td><td><b><%= dlConfig.getDirCache().getHits() %></b></td>
+    <td></td>
+  </tr>
+  <tr>
+	<td>misses</td><td><b><%= dlConfig.getDirCache().getMisses() %></b></td>
+    <td></td>
+  </tr>
+</table>
+
+<h2>JVM configuration</h2>
+
+<table>
+  <tr>
+	<td>java.awt.headless</td><td><b><%= System.getProperty("java.awt.headless") %></b></td>
+    <td></td>
+  </tr>
+</table>
+
 </body>
 </html>