From eae152959b9de279b41332815512a7d34e5be9a8 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Tue, 13 Sep 2016 17:36:20 +0300 Subject: [PATCH] Minor change to BoardConfig() API --- platformio/managers/platform.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py index 8e8e0329..8331cd91 100644 --- a/platformio/managers/platform.py +++ b/platformio/managers/platform.py @@ -494,16 +494,20 @@ class PlatformBoardConfig(object): return False @property - def id_(self): + def id(self): return self._id + @property + def id_(self): + return self.id + @property def manifest(self): return self._manifest def get_brief_data(self): return { - "id": self.id_, + "id": self.id, "name": self._manifest['name'], "platform": self._manifest.get("platform"), "mcu": self._manifest.get("build", {}).get("mcu", "").upper(),