Don't set job_id_sequence to highest jobid in use
on startup. Just use the checkpointed job_id_sequence. get_next_job_id() will not use a jobid if it's in use in the system. Bug 4538
Please register or sign in to comment
on startup. Just use the checkpointed job_id_sequence. get_next_job_id() will not use a jobid if it's in use in the system. Bug 4538