_yamlcache.py: Use a project's junction name if present
Description
A crash was found when the same project is loaded multiple times from different junctions. This was because the yaml cache could not distinguish between the projects, and so was returning the same cached yaml each time. The yaml is mangled as part of loading, so this should not be done to the same yaml repeatedly.
Changes proposed in this merge request:
- The yaml cache normally separates projects by
project.name
. Ifproject.junction
exists, useproject.junction.name
instead.
This merge request, when approved, will close: #795 (closed)