Fix shown path

Shown filepath should use the cleaned version
pull/378/head
Raphaël Riel 4 years ago committed by GitHub
parent 85ccd625a3
commit 874a6d5774
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -207,7 +207,7 @@ def run(argv=None):
except EnvironmentError as e: except EnvironmentError as e:
print(e, file=sys.stderr) print(e, file=sys.stderr)
sys.exit(-1) sys.exit(-1)
prob_level = show_problems(problems, file, args_format=args.format, prob_level = show_problems(problems, filepath, args_format=args.format,
no_warn=args.no_warnings) no_warn=args.no_warnings)
max_level = max(max_level, prob_level) max_level = max(max_level, prob_level)

Loading…
Cancel
Save