From b0238dab8f7f4f6353293f50b46c79b289a900dd Mon Sep 17 00:00:00 2001 From: Michael Krasnyk Date: Thu, 28 Dec 2017 11:18:16 +0100 Subject: [PATCH] Don't fail if a registered printer has no name --- scripts/gdb_printers.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/gdb_printers.py b/scripts/gdb_printers.py index bae671903..ca9568c83 100644 --- a/scripts/gdb_printers.py +++ b/scripts/gdb_printers.py @@ -71,10 +71,10 @@ def build_pretty_printer(): pp.add_printer('TurnLaneData', '::TurnLaneData$', TurnLaneDataPrinter) return pp -gdb.pretty_printers = [x for x in gdb.pretty_printers if x.name != 'OSRM'] # unregister OSRM pretty printer before (re)loading +## unregister OSRM pretty printer before (re)loading +gdb.pretty_printers = [x for x in gdb.pretty_printers if not isinstance(x, gdb.printing.RegexpCollectionPrettyPrinter) or x.name != 'OSRM'] gdb.printing.register_pretty_printer(gdb.current_objfile(), build_pretty_printer()) - import geojson import os import time