diff options
Diffstat (limited to 'rpki')
| -rw-r--r-- | rpki/cli.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/rpki/cli.py b/rpki/cli.py index 0fdccf8b..2f007101 100644 --- a/rpki/cli.py +++ b/rpki/cli.py @@ -173,7 +173,10 @@ class Cmd(cmd.Cmd): self.cmdloop() finally: if self.histfile is not None and readline.get_current_history_length(): - readline.write_history_file(self.histfile) + try: + readline.write_history_file(self.histfile) + except IOError: + pass readline.set_completer_delims(old_completer_delims) else: |