- if (isCompatibleBrowser) {// redirect
- response.setHeader("Location", "/#" + path);
- response.setStatus(HttpServletResponse.SC_FOUND);
- } else {
- if (isBot && log.isDebugEnabled())
- log.debug(request.getHeader("User-Agent") + " is a bot");
- // TODO pure html
- throw new UnsupportedOperationException();
- }
+ if (isBot)
+ log.warn("# BOT " + request.getHeader("User-Agent"));
+ if (isCompatibleBrowser && log.isTraceEnabled())
+ log.trace("# BWS " + request.getHeader("User-Agent"));
+ // if (isCompatibleBrowser) {// redirect
+ response.setHeader("Location", "/#" + path);
+ response.setStatus(HttpServletResponse.SC_FOUND);
+ // }