diff options
Diffstat (limited to 'portal-gui/scripts')
| -rwxr-xr-x | portal-gui/scripts/list_resources.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/portal-gui/scripts/list_resources.py b/portal-gui/scripts/list_resources.py index 15b7d541..b9043c02 100755 --- a/portal-gui/scripts/list_resources.py +++ b/portal-gui/scripts/list_resources.py @@ -142,7 +142,7 @@ for pdu in pdus: # print x.asn, x.ipv4, x.ipv6 elif isinstance(pdu, rpki.left_right.list_received_resources_elt): # keep track of handles we got replies for - set.add(pdu.self_handle) + seen.add(pdu.self_handle) # have we seen this parent before? parent_set = conf.parents.filter(handle=pdu.parent_handle) if not parent_set: |