diff options
author | Rob Austein <sra@hactrn.net> | 2014-05-30 02:01:12 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2014-05-30 02:01:12 +0000 |
commit | 1c85dc6fc490658d39402089dab29ae37a05db83 (patch) | |
tree | d9908475bff4601a5246a3ffa4e3956e3e58ea29 /rpki/cli.py | |
parent | 40d314f7e22dfe9abadd0ef982e10dde658a85ea (diff) |
Pylint did find a couple of trivial but real bugs under all the noise.
svn path=/trunk/; revision=5849
Diffstat (limited to 'rpki/cli.py')
-rw-r--r-- | rpki/cli.py | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/rpki/cli.py b/rpki/cli.py index fa76155b..e75b8430 100644 --- a/rpki/cli.py +++ b/rpki/cli.py @@ -59,13 +59,6 @@ class Cmd(cmd.Cmd): last_command_failed = False - def __init__(self, argv = None): - cmd.Cmd.__init__(self) - if argv: - self.onecmd(" ".join(argv)) - else: - self.cmdloop_with_history() - def onecmd(self, line): """ Wrap error handling around cmd.Cmd.onecmd(). Might want to do |