chiark / gitweb /
core: ignore any issues with setting time on jobs_in_progress_event_source