While this is not needed for the job_detail page (because we just reload
the page when the job is done), we will need this information for the
job_list page (because we do not want to reload the job_list each time a
job terminates)