diff options
| author | Rob Austein <sra@hactrn.net> | 2016-02-16 01:55:58 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2016-02-16 01:55:58 +0000 |
| commit | 54a65ea705872554a7283d3d0f0a9259b8fe3bfe (patch) | |
| tree | 0b01a9bcc31beb6e944d76d8ce9f29be33d0b32a /rpki | |
| parent | 3d625c18ad35e5e071a04a6336371bf9adee517e (diff) | |
Finally builds and installs properly on Ubuntu again;
no serious runtime testing yet.
svn path=/branches/tk705/; revision=6262
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: |