From 9acaa0edd53c3b6b7f47584b68ee8f79d313d13f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timo=20R=C3=B6hling?= Date: Mon, 2 Jan 2023 16:06:08 +0100 Subject: [PATCH] Check if rosdep view is empty before using it See #109 for the corresponding discussion --- src/catkin_lint/environment.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/catkin_lint/environment.py b/src/catkin_lint/environment.py index b233d77..fbd95ff 100644 --- a/src/catkin_lint/environment.py +++ b/src/catkin_lint/environment.py @@ -136,6 +136,8 @@ def __init__(self, os_env=None, use_rosdep=True, use_rosdistro=True, use_cache=T try: gc.disable() self.rosdep = get_rosdep(quiet=self.quiet) + if len(self.rosdep.view.keys()) == 0: + raise Exception("empty view, please call 'rosdep update' first") except Exception as err: if not self.quiet: sys.stderr.write("catkin_lint: cannot load rosdep database: %s\n" % str(err))