#199: jobs.ini should be combined with properties.ini -------------------------+-------------------------------------------------- Reporter: eschnett | Owner: mthomas Type: enhancement | Status: new Priority: minor | Milestone: Component: SimFactory | Version: Keywords: | -------------------------+--------------------------------------------------
#199: jobs.ini should be combined with properties.ini --------------------------+------------------------------------------------- Reporter: eschnett | Owner: mthomas Type: enhancement | Status: closed Priority: minor | Milestone: Component: SimFactory | Version: Resolution: fixed | Keywords: --------------------------+------------------------------------------------- Changes (by mthomas):
* status: new => closed * resolution: => fixed
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.
trac@lists.einsteintoolkit.org