From e837dac26a2ebf974f380df667f155d9b066fe90 Mon Sep 17 00:00:00 2001 From: Ceesjan Luiten Date: Thu, 5 Nov 2020 14:47:41 +0100 Subject: [PATCH] Fix ResourceWarning (#520) --- mypy_django_plugin/main.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mypy_django_plugin/main.py b/mypy_django_plugin/main.py index 34da575..9ca2a93 100644 --- a/mypy_django_plugin/main.py +++ b/mypy_django_plugin/main.py @@ -81,7 +81,8 @@ def extract_django_settings_module(config_file_path: Optional[str]) -> str: parser = configparser.ConfigParser() try: - parser.read_file(open(cast(str, config_file_path)), source=config_file_path) + with open(cast(str, config_file_path)) as handle: + parser.read_file(handle, source=config_file_path) except (IsADirectoryError, OSError): exit(1)