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/rpkic.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/rpkic.py')
-rw-r--r-- | rpki/rpkic.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rpki/rpkic.py b/rpki/rpkic.py index d37021a8..d7b76c51 100644 --- a/rpki/rpkic.py +++ b/rpki/rpkic.py @@ -83,6 +83,7 @@ class main(Cmd): def __init__(self): + Cmd.__init__(self) os.environ["TZ"] = "UTC" time.tzset() @@ -115,7 +116,7 @@ class main(Cmd): rpki.log.init("rpkic") self.read_config() if self.interactive: - Cmd.__init__(self) + self.cmdloop_with_history() else: args.func(self, args) |