We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The dict servers has Path objects as key, not the project_file.
hdl_checker/handlers.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/hdl_checker/handlers.py b/hdl_checker/handlers.py index 9b363e1..a86fd86 100644 --- a/hdl_checker/handlers.py +++ b/hdl_checker/handlers.py @@ -236,7 +236,8 @@ def rebuildProject(): server = _getServerByProjectFile(project_file) server.clean() _logger.debug("Removing and recreating server object")
-- 2.24.0
The text was updated successfully, but these errors were encountered:
9002401
No branches or pull requests
The dict servers has Path objects as key, not the project_file.
hdl_checker/handlers.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/hdl_checker/handlers.py b/hdl_checker/handlers.py
index 9b363e1..a86fd86 100644
--- a/hdl_checker/handlers.py
+++ b/hdl_checker/handlers.py
@@ -236,7 +236,8 @@ def rebuildProject():
server = _getServerByProjectFile(project_file)
server.clean()
_logger.debug("Removing and recreating server object")
_getServerByProjectFile(project_file)
--
2.24.0
The text was updated successfully, but these errors were encountered: