# HG changeset patch
# User robcast
# Date 1047913625 -3600
# Node ID a82150544f4ae2d834273253481bb5030e96c79e
# Parent  d9bfec4f046e161302f253e2ec130b26ddde67db
New version 1.8b4.
Uses new Collection classes.

diff -r d9bfec4f046e -r a82150544f4a servlet/src/digilib/servlet/ServletOps.java
--- a/servlet/src/digilib/servlet/ServletOps.java	Mon Mar 17 16:06:42 2003 +0100
+++ b/servlet/src/digilib/servlet/ServletOps.java	Mon Mar 17 16:07:05 2003 +0100
@@ -32,7 +32,7 @@
 public class ServletOps {
 
   private Utils util = null;
-  private Hashtable confTable = null;
+  private HashMap confTable = null;
 
   public ServletOps() {
     util = new Utils();