diff options
| -rw-r--r-- | rpki/gui/app/glue.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/rpki/gui/app/glue.py b/rpki/gui/app/glue.py index 0bf5f942..2afaafb8 100644 --- a/rpki/gui/app/glue.py +++ b/rpki/gui/app/glue.py @@ -90,7 +90,10 @@ def list_received_resources(log, conf): """ z = Zookeeper(handle=conf.handle) - pdus = z.call_rpkid(list_received_resources_elt.make_pdu(self_handle=conf.handle)) + pdus = z.call_rpkid( + list_received_resources_elt.make_pdu(self_handle=conf.handle), + disable_signal_handlers=True + ) # pdus is sometimes None (see https://trac.rpki.net/ticket/681) if pdus is None: print >>log, 'error: call_rpkid() returned None for handle %s when fetching received resources' % conf.handle |