• Michael Hanselmann's avatar
    Move code formatting job ID into a base class · ce594241
    Michael Hanselmann authored
    A later patch will add a memory based job storage class, hence this
    code is going into a separate class. It also changes the number format
    to always use at least 10 digits, allowing up to 9'999'999'999 jobs to
    be sorted without using a custom function.
    
    Reviewed-by: iustinp
    ce594241
jqueue.py 16.6 KB