# HG changeset patch
# User robcast
# Date 1055356011 -7200
# Node ID b0250c4ea62a4bc861f1aa767c395598c5f5d9ef
# Parent  e29714cfaa1d8f8968b354c6cf6f0281a4cbf65e
config with cache info

diff -r e29714cfaa1d -r b0250c4ea62a 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>