diff options
| -rw-r--r-- | rpkid/irbe_cli.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/rpkid/irbe_cli.py b/rpkid/irbe_cli.py index 58c4c0bf..9be4c093 100644 --- a/rpkid/irbe_cli.py +++ b/rpkid/irbe_cli.py @@ -242,8 +242,9 @@ class publication_cms_msg(rpki.publication.cms_msg): top_opts = ["config=", "help", "pem_out=", "quiet", "verbose"] def usage(code = 1): - print __doc__.strip() - print + if __doc__ is not None: + print __doc__.strip() + print print "Usage:" print print "# Top-level options:" |