diff options
Diffstat (limited to 'rpkid/rpki/cli.py')
| -rw-r--r-- | rpkid/rpki/cli.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/rpki/cli.py b/rpkid/rpki/cli.py index a67b40a1..d31f7204 100644 --- a/rpkid/rpki/cli.py +++ b/rpkid/rpki/cli.py @@ -124,7 +124,7 @@ class Cmd(cmd.Cmd): names = self.get_names() result = [] for prefix in ("do_", "help_"): - result.extend(s[len(prefix):] for s in names if s .startswith(prefix + text)) + result.extend(s[len(prefix):] for s in names if s.startswith(prefix + text)) return result if have_readline: |