static String getStringParameter(WebRequest request, String name) {
String p;
if ((p = request.getParameter(name)) != null) {
return p;
} else {
return "";
}
}
static int parseIntParameter(WebRequest request, String name, int ifMissing) {
String p;
if ((p = request.getParameter(name)) != null) {
try {
return asInt(p);
} catch (NumberFormatException ee) {
logger.error(
new StringWriter()
.append("Could not cast event property '")
.append(name)
.append(": ")
.append(p)
.append("' to int")
.toString());
return ifMissing;
}
} else {
return ifMissing;
}
}
