[galaxy-dev] Question regarding walltime exceeded not being correctly reported via the WebUI