Open-Harbor/osrm-backend
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 3 Wiki Activity

Don't fail if a registered printer has no name

Browse Source
This commit is contained in:
Michael Krasnyk 2017-12-28 11:18:16 +01:00
parent 7359d0542f
commit 4d54456f66
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/gdb_printers.py
View File

@ -71,10 +71,10 @@ def build_pretty_printer():
pp.add_printer('TurnLaneData', '::TurnLaneData$', TurnLaneDataPrinter) pp.add_printer('TurnLaneData', '::TurnLaneData$', TurnLaneDataPrinter)
return pp 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()) gdb.printing.register_pretty_printer(gdb.current_objfile(), build_pretty_printer())
import geojson import geojson
import os import os
import time import time