diff options
Diffstat (limited to 'rpkid')
| -rw-r--r-- | rpkid/rpki/gui/app/glue.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rpkid/rpki/gui/app/glue.py b/rpkid/rpki/gui/app/glue.py index 66d4c368..8edc6b04 100644 --- a/rpkid/rpki/gui/app/glue.py +++ b/rpkid/rpki/gui/app/glue.py @@ -31,6 +31,9 @@ from rpki.resource_set import (resource_set_as, resource_set_ipv4, from rpki.left_right import list_received_resources_elt from rpki.irdb.zookeeper import Zookeeper from rpki.gui.app import models, settings +from rpki.exceptions import BadIPResource + +from django.contrib.auth.models import User def ghostbuster_to_vcard(gbr): |