diff options
Diffstat (limited to 'portal-gui/rpkigui/myrpki/misc.py')
| -rw-r--r-- | portal-gui/rpkigui/myrpki/misc.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/portal-gui/rpkigui/myrpki/misc.py b/portal-gui/rpkigui/myrpki/misc.py index 16954d87..5d3cba93 100644 --- a/portal-gui/rpkigui/myrpki/misc.py +++ b/portal-gui/rpkigui/myrpki/misc.py @@ -38,4 +38,10 @@ def parse_resource_range(s): except ValueError: return rpki.resource_set.resource_range_ipv6.parse_str(s) +def top_parent(prefix): + '''Returns the topmost resource from which the specified argument derives''' + while prefix.parent: + prefix = prefix.parent + return prefix + # vim:sw=4 ts=8 expandtab |