feedc0de/platformio-core
1
0
Fork 0
forked from platformio/platformio-core
Code Pull Requests Activity

Respect disabling debugging server from platformio.ini

Browse Source
This commit is contained in:
Ivan Kravets
2022-01-19 16:53:31 +02:00
parent e8c0b8504a
commit 57c92e877c
2 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
HISTORY.rst
View File

@ -13,6 +13,7 @@ PlatformIO Core 5
- Improved support for private packages in `PlatformIO Registry <https://registry.platformio.org/>`__ - Improved support for private packages in `PlatformIO Registry <https://registry.platformio.org/>`__
- Improved checking of available Internet connection for IPv6-only workstations (`pull #4151 <https://github.com/platformio/platformio-core/issues/4151>`_) - Improved checking of available Internet connection for IPv6-only workstations (`pull #4151 <https://github.com/platformio/platformio-core/issues/4151>`_)
- Respect disabling debugging server from "platformio.ini" passing an empty value to the `debug_server <https://docs.platformio.org/en/latest/projectconf/section_env_debug.html#debug-server>`__ option
5.2.4 (2021-12-15) 5.2.4 (2021-12-15)
~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~

7
platformio/debug/config/base.py
View File

@ -153,7 +153,14 @@ class DebugConfigBase: # pylint: disable=too-many-instance-attributes
raise DebugInvalidOptionsError("Could not load a build configuration") raise DebugInvalidOptionsError("Could not load a build configuration")
def _configure_server(self): def _configure_server(self):
# user disabled server in platformio.ini
if "debug_server" in self.env_options and not self.env_options.get(
"debug_server"
):
return None
result = None result = None
# specific server per a system # specific server per a system
if isinstance(self.tool_settings.get("server", {}), list): if isinstance(self.tool_settings.get("server", {}), list):
for item in self.tool_settings["server"][:]: for item in self.tool_settings["server"][:]: