ridiculousfish 1da09f2c52 Ensure new job IDs are never smaller than existing running jobs
This makes job IDs "monotone" in the sense that newly spawned jobs
always have larger IDs than existing jobs, as requested in #6053
2020-01-16 16:01:29 -08:00
..
2019-12-01 18:14:26 +01:00
2019-06-26 21:19:40 +02:00
2019-12-31 14:16:20 -08:00
2019-06-26 21:19:40 +02:00
2019-11-26 18:12:24 +01:00
2019-07-09 10:02:50 -07:00
2019-11-25 13:07:15 +01:00