# HG changeset patch
# User robcast
# Date 1099489119 -3600
# Node ID 16c847c3291cd5e7ddba329c6dbac64148d772f7
# Parent  ef53d244a95bfa65dcc96c3407736a42fbbfb224
Servlet version 1.5.3b
- new getLastModified improves local caching of pages

diff -r ef53d244a95b -r 16c847c3291c client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed
diff -r ef53d244a95b -r 16c847c3291c servlet/src/digilib/servlet/Scaler.java
--- a/servlet/src/digilib/servlet/Scaler.java	Wed Nov 03 14:24:41 2004 +0100
+++ b/servlet/src/digilib/servlet/Scaler.java	Wed Nov 03 14:38:39 2004 +0100
@@ -185,7 +185,8 @@
 	 * @see javax.servlet.http.HttpServlet#getLastModified(javax.servlet.http.HttpServletRequest)
 	 */
 	protected long getLastModified(HttpServletRequest request) {
-		accountlog.debug("GetLastModified from " + request.getRemoteAddr());
+		accountlog.debug("GetLastModified from " + request.getRemoteAddr()
+				+ " for " + request.getQueryString());
 		long mtime = -1;
 		// create new request with defaults
 		DigilibRequest dlReq = new DigilibRequest();
@@ -197,7 +198,6 @@
 			DocuDirectory dd = (DocuDirectory) f.getParent();
 			mtime = dd.getDirMTime() / 1000 * 1000;
 		}
-		logger.debug("last modified: "+mtime);
 		return mtime;
 	}