# HG changeset patch
# User robcast
# Date 1097522580 -7200
# Node ID 46fc3f0bd7c21408aa25c64365c4d8f9a9a03de2
# Parent  beed92ee60228eacee99965c0fe833200cd77181
Servlet version 1.21b1
- directory indexing got faster but less safe
  (configurable by "safe-dir-index")
- mo=rawfile supplies filename
- DigilibConfig takes File parameters
- some SerialVersionUIDs (suggested by Eclipse)

diff -r beed92ee6022 -r 46fc3f0bd7c2 servlet/src/digilib/servlet/DigilibRequest.java
--- a/servlet/src/digilib/servlet/DigilibRequest.java	Mon Oct 11 21:23:00 2004 +0200
+++ b/servlet/src/digilib/servlet/DigilibRequest.java	Mon Oct 11 21:23:00 2004 +0200
@@ -75,6 +75,8 @@
  */
 public class DigilibRequest extends ParameterMap {
 
+	private static final long serialVersionUID = -4707707539569977901L;
+
 	private Logger logger = Logger.getLogger(this.getClass());
 
 	private boolean boolRDF = false; // use RDF Parameters