Don't fail if a registered printer has no name

Project-OSRM · Jan 5, 2018 · 4d54456 · 4d54456
1 parent 7359d05
commit 4d54456
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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