/** * Get the name of the remote user from the REMOTE_USER header. * * @return The name of the remote user */ @Override public String getRemoteUser() { return getHeader("REMOTE_USER"); }
/** * Get the name of the remote user from the REMOTE_USER header. * * @return The name of the remote user */ @Override public String getRemoteUser() { return getHeader("REMOTE_USER"); }
/** * Get the given header as an int. * * @param name * The header name * @return The header value or -1 if header not found * @throws NumberFormatException * If the header is not formatted correctly */ @Override public int getIntHeader(final String name) { String value = getHeader(name); if (value == null) { return -1; } return Integer.valueOf(value); }
/** * Get the given header as an int. * * @param name * The header name * @return The header value or -1 if header not found * @throws NumberFormatException * If the header is not formatted correctly */ @Override public int getIntHeader(final String name) { String value = getHeader(name); if (value == null) { return -1; } return Integer.valueOf(value); }
/** * Get the given header as a date. * * @param name * The header name * @return The date, or -1 if header not found * @throws IllegalArgumentException * If the header cannot be converted */ @Override public long getDateHeader(final String name) throws IllegalArgumentException { String value = getHeader(name); if (value == null) { return -1; } DateFormat df = DateFormat.getDateInstance(DateFormat.FULL); try { return df.parse(value).getTime(); } catch (ParseException e) { throw new IllegalArgumentException("Can't convert header to date " + name + ": " + value); } }
/** * Get the given header as a date. * * @param name * The header name * @return The date, or -1 if header not found * @throws IllegalArgumentException * If the header cannot be converted */ @Override public long getDateHeader(final String name) throws IllegalArgumentException { String value = getHeader(name); if (value == null) { return -1; } DateFormat df = DateFormat.getDateInstance(DateFormat.FULL); try { return df.parse(value).getTime(); } catch (ParseException e) { throw new IllegalArgumentException("Can't convert header to date " + name + ": " + value); } }
String header = getHeader("Accept-Language"); if (header != null)
String header = getHeader("Accept-Language"); if (header != null)
if (!redirect && getRequest().getHeader("Wicket-Ajax") == null)
if (!redirect && getRequest().getHeader("Wicket-Ajax") == null)
lastRequest.getHeader("Wicket-Ajax") == null;
lastRequest.getHeader("Wicket-Ajax") == null;