mirror of
https://github.com/platformio/platformio-core.git
synced 2025-07-31 18:44:27 +02:00
Handle unknown platform when uninstall/update
This commit is contained in:
@@ -87,6 +87,9 @@ class PlatformManager(BasePkgManager):
|
|||||||
name, requirements, url = self.parse_pkg_uri(package, requirements)
|
name, requirements, url = self.parse_pkg_uri(package, requirements)
|
||||||
pkg_dir = self.get_package_dir(name, requirements, url)
|
pkg_dir = self.get_package_dir(name, requirements, url)
|
||||||
|
|
||||||
|
if not pkg_dir:
|
||||||
|
raise exception.UnknownPlatform(package)
|
||||||
|
|
||||||
p = PlatformFactory.newPlatform(pkg_dir)
|
p = PlatformFactory.newPlatform(pkg_dir)
|
||||||
BasePkgManager.uninstall(self, pkg_dir, requirements)
|
BasePkgManager.uninstall(self, pkg_dir, requirements)
|
||||||
|
|
||||||
@@ -110,6 +113,9 @@ class PlatformManager(BasePkgManager):
|
|||||||
name, requirements, url = self.parse_pkg_uri(package, requirements)
|
name, requirements, url = self.parse_pkg_uri(package, requirements)
|
||||||
pkg_dir = self.get_package_dir(name, requirements, url)
|
pkg_dir = self.get_package_dir(name, requirements, url)
|
||||||
|
|
||||||
|
if not pkg_dir:
|
||||||
|
raise exception.UnknownPlatform(package)
|
||||||
|
|
||||||
p = PlatformFactory.newPlatform(pkg_dir)
|
p = PlatformFactory.newPlatform(pkg_dir)
|
||||||
pkgs_before = p.get_installed_packages().keys()
|
pkgs_before = p.get_installed_packages().keys()
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user