arg_name
as an Int or null
if not found or not an integer.NOTE: Prioritizes POST before GET
# Returns argument `arg_name` as an Int or `null` if not found or not an integer.
#
# NOTE: Prioritizes POST before GET
fun int_arg(arg_name: String): nullable Int do
if not all_args.has_key(arg_name) then return null
var i = all_args[arg_name]
if not i.is_int then return null
return i.to_i
end
lib/nitcorn/http_request.nit:79,2--87,4