• Iustin Pop's avatar
    Change JobStorage to work with ids not filenames · 911a495b
    Iustin Pop authored
    Currently some of the functions in JobStorage work with filenames (which
    is an implementation detail and should only be used when dealing with
    the storage) and not with job IDs. We need to change this in order to
    implement a job cache.
    Reviewed-by: ultrotter
jqueue.py 12 KB