<%@ page contentType="text/xml; charset=UTF-8"%><%@ page language="java" %> <% String base_dir = request.getContextPath(); String oai_url = request.getScheme()+"://"+request.getServerName()+":"+request.getServerPort()+base_dir+"/OAI"; String query_string = request.getQueryString(); if ( query_string != null ) { query_string = query_string.replace("&","&").replace("<","<").replace(">",">"); } else query_string = ""; String req_str = oai_url + "?" + java.net.URLEncoder.encode(query_string,"UTF8"); java.sql.Timestamp response_time = new java.sql.Timestamp(System.currentTimeMillis()); java.text.SimpleDateFormat formatter = new java.text.SimpleDateFormat("yyyy-MM-dd'T'hh:mm:ss'Z'"); %> <%=formatter.format(response_time)%> <%=req_str%>