jobs.ini should be combined with properties.ini

Issue #199 closed
Erik Schnetter created an issue

Keyword:

Comments (2)

  1. anonymous
    • changed status to resolved
    • removed comment

    this has been completed. It will look for the job id in properties.ini first (and that's where it will write it from now on), but fall back to looking for job.ini for historical purposes.

  2. Log in to comment