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

diff -r 8c035fbcbaa1 -r b02b57e799cd 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();