# HG changeset patch
# User robcast
# Date 1099488147 -3600
# Node ID 026578788a4bcb4f1182153c87386a3d15705acc
# Parent  2e09486e33c4cbf46005d1da2fa53aef3b0c9766
Servlet version 1.5.3b
- new getLastModified improves local caching of pages

diff -r 2e09486e33c4 -r 026578788a4b servlet/src/digilib/servlet/DigilibRequest.java
--- a/servlet/src/digilib/servlet/DigilibRequest.java	Tue Nov 02 20:36:59 2004 +0100
+++ b/servlet/src/digilib/servlet/DigilibRequest.java	Wed Nov 03 14:22:27 2004 +0100
@@ -315,10 +315,25 @@
 	 * @return String of request parameters in parameter form.
 	 */
 	public String getAsString() {
+		return getAsString(0);
+	}
+
+	/**
+	 * Return the request parameters of a given type type as a String in the
+	 * parameter form 'fn=/icons&pn=1'. Empty (undefined) fields are not
+	 * included.
+	 * 
+	 * @return String of request parameters in parameter form.
+	 */
+	public String getAsString(int type) {
 		StringBuffer s = new StringBuffer(50);
 		// go through all values
 		for (Iterator i = this.values().iterator(); i.hasNext();) {
 			Parameter p = (Parameter) i.next();
+			if ((type > 0)&&(p.getType() != type)) {
+				// skip the wrong types
+				continue;
+			}
 			String name = p.getName();
 			/*
 			 * handling special cases