config_detail.filename is None when passed by stdin

Fix #7032

Signed-off-by: Nicolas De Loof <nicolas.deloof@gmail.com>
This commit is contained in:
Nicolas De Loof 2019-11-20 08:56:55 +01:00
parent 2887d82d16
commit 962421d019
No known key found for this signature in database
GPG Key ID: 9858809D6F8F6E7E
1 changed files with 5 additions and 1 deletions

View File

@ -170,7 +170,11 @@ def execution_context_labels(config_details, environment_file):
def config_files_label(config_details):
return ",".join(
map(str, (os.path.normpath(c.filename) for c in config_details.config_files)))
map(str, (config_file_path(c.filename) for c in config_details.config_files)))
def config_file_path(config_file):
return os.path.normpath(config_file) if config_file else 'stdin'
def get_project_name(working_dir, project_name=None, environment=None):