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

diff -r 8cdbcc6cd4f7 -r e1c10653f143 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed
diff -r 8cdbcc6cd4f7 -r e1c10653f143 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;
 	}