aboutsummaryrefslogtreecommitdiff
path: root/myrpki.rototill/myrpki.py
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2010-03-11 04:30:05 +0000
committerRob Austein <sra@hactrn.net>2010-03-11 04:30:05 +0000
commit96ffdccb51cc3a528563e28f2ce09050e84ef22b (patch)
tree3500c30cb1365ace31f83057a97b9be0da6cf010 /myrpki.rototill/myrpki.py
parent6b6d662d5a51943adbd7d28bc497bebd2416ad0e (diff)
Cleanup
svn path=/myrpki.rototill/examples/children.csv; revision=3075
Diffstat (limited to 'myrpki.rototill/myrpki.py')
-rw-r--r--myrpki.rototill/myrpki.py10
1 files changed, 10 insertions, 0 deletions
diff --git a/myrpki.rototill/myrpki.py b/myrpki.rototill/myrpki.py
index 7d039e89..cabdc4ef 100644
--- a/myrpki.rototill/myrpki.py
+++ b/myrpki.rototill/myrpki.py
@@ -781,6 +781,16 @@ class main(rpki.cli.Cmd):
rpki.cli.Cmd.__init__(self, argv)
+ def help_overview(self):
+ """
+ Show program __doc__ string. Perhaps there's some clever way to
+ do this using the textwrap module, but for now something simple
+ and crude will suffice.
+ """
+ for line in __doc__.splitlines(True):
+ self.stdout.write(" " * 4 + line)
+ self.stdout.write("\n")
+
def read_config(self):
self.cfg = rpki.config.parser(self.cfg_file, "myrpki")