diff options
| -rw-r--r-- | rpkid/portal-gui/scripts/rpkigui-rcynic.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rpkid/portal-gui/scripts/rpkigui-rcynic.py b/rpkid/portal-gui/scripts/rpkigui-rcynic.py index ca251076..4f18c5bb 100644 --- a/rpkid/portal-gui/scripts/rpkigui-rcynic.py +++ b/rpkid/portal-gui/scripts/rpkigui-rcynic.py @@ -20,6 +20,7 @@ default_logfile = '/var/rcynic/data/rcynic.xml' default_root = '/var/rcynic/data' import logging +import sys from rpki.gui.script_util import setup setup() |