docs: public static void printAttributes(HttpServletRequest request) {
  		Enumeration<String> e = request.getAttributeNames();
  		while (e.hasMoreElements()) {
  			String name = e.nextElement();
  			Object value = request.getAttribute(name);
  			logger.info("attribute " + name + ":" + value);
  		}
  	}