Question: Job id uniqueness across different galaxy server
0
isha.nagpal • 0 wrote:
When I run a tool, I get history_id and job_id which I believe are unique for my galaxy server. However If my galaxy server crashed and i make my application to point to another galaxy server and start creating jobs there.
Will the job_ids/ history_ids created on this server will always be different from previously created history_id/job_id on old galaxy server or is there a slight possibility of duplication of id