private static final String getParam(ServletRequest request, String name,
String defval)
{
String param = request.getParameter(name);
return (param != null ? param : defval);
}
private static final int getParam(ServletRequest request, String name,
int defval)
{
String param = request.getParameter(name);
int value = defval;
if (param != null) {
try { value = Integer.parseInt(param); }
catch (NumberFormatException ignore) { }
}
return value;
}