# HG changeset patch
# User robcast
# Date 1302164615 -7200
# Node ID 6584af320296279cafaa230e36f369a602a5c286
# Parent  613c2089bc7a72b44a3cb71d128abc65290e587b
fix working as servlet spec 2.3.

diff -r 613c2089bc7a -r 6584af320296 servlet/src/digilib/servlet/ServletOps.java
--- a/servlet/src/digilib/servlet/ServletOps.java	Thu Apr 07 10:22:26 2011 +0200
+++ b/servlet/src/digilib/servlet/ServletOps.java	Thu Apr 07 10:23:35 2011 +0200
@@ -32,7 +32,6 @@
 
 import javax.servlet.ServletContext;
 import javax.servlet.ServletException;
-import javax.servlet.ServletRequest;
 import javax.servlet.http.HttpServletRequest;
 import javax.servlet.http.HttpServletResponse;
 
@@ -302,7 +301,8 @@
     		logger.error("No response!");
     		return;
     	}
-        logger.debug("sending to response: ("+ headersToString(response) + ") committed=" + response.isCommitted());
+        //logger.debug("sending to response: ("+ headersToString(response) + ") committed=" + response.isCommitted());
+        logger.debug("sending to response. committed=" + response.isCommitted());
         // TODO: should we erase or replace old last-modified header?
         try {
             OutputStream outstream = response.getOutputStream();
@@ -346,6 +346,7 @@
     }
     
     /** Returns text representation of headers for debuggging purposes.
+     * Works only with Servlet spec 3.0!
      * @param resp
      * @return
      */